Real-Time Systems: Formal Specification and Automatic Verification

Mina Finds
(640)
Registrato come venditore professionale
Altre inserzioni del venditore
Contatta il venditore
GBP 17,91
CircaEUR 20,56
o Proposta d'acquisto
Condizione:
Buone condizioni
“Please review all the pictures and read the description as it helps to describe the item.”
Non lasciartelo sfuggire. 1 persona osserva questo oggetto.
Questo oggetto verrà spedito tramite il Programma di spedizione internazionale di eBay.
Include codice della spedizione internazionale, sdoganamento semplificato e nessun costo aggiuntivo alla consegna. Scopri di più
Spedizione:
GBP 18,85 (circa EUR 21,64) International Priority Shipping in Stati Uniti via Programma di spedizione internazionale di eBay
L'importo include le spese di spedizione nazionale indicate dal venditore, i costi di imballaggio e spedizione internazionale e altre tariffe applicabili. L'importo è soggetto a modifica fino al momento del pagamento. Per maggiori informazioni, consulta i termini e le condizioni del Programma di spedizione internazionale
.
Oggetto che si trova a: Reading, Regno Unito
Spese di importazione: 
Gratis (importo confermato al momento del pagamento)
Questo importo include i costi applicabili per spese doganali, tasse, intermediazioni e altre tariffe. L'importo è soggetto a modifica fino al momento del pagamento. Per maggiori informazioni, consulta i termini e le condizioni del Programma di spedizione internazionale
Consegna:
Consegna prevista tra il mer 15 ott e il ven 24 ott a 94104
Le date di consegna stimate - viene aperta una nuova finestra o scheda includono tempi di imballaggio, CAP di origine, CAP di destinazione e periodo di accettazione e dipendono dal servizio di spedizione selezionato e dalla ricezione del pagamentoricezione del pagamento - si apre in una nuova finestra o scheda. I tempi di consegna possono variare, specialmente durante le festività.
Include il codice della spedizione internazionale
Restituzioni:
Restituzioni non accettate.
Pagamenti:
    Diners Club
Le spese per la spedizione internazionale e le spese di importazione sono pagate a Pitney Bowes Inc. Scopri di piùScopri di più sul Programma di spedizione internazionale di eBay

Fai shopping in tutta sicurezza

Garanzia cliente eBay
Se non ricevi l'oggetto che hai ordinato, riceverai il rimborso. Scopri di piùGaranzia cliente eBay - viene aperta una nuova finestra o scheda
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:135646066945
Ultimo aggiornamento: 20 lug 2025 16:09:34 CESTVedi tutte le revisioniVedi tutte le revisioni

Specifiche dell'oggetto

Condizione
Buone condizioni
Libro che è già stato letto ma è in buone condizioni. Mostra piccolissimi danni alla copertina incluse alcune rigature, ma nessun foro o strappo. È possibile che la sovraccoperta per le copertine rigide non sia inclusa. La rilegatura presenta minimi segni di usura. La maggior parte delle pagine non è danneggiata e mostra una quantità minima di piegature o strappi, sottolineature di testo a matita, nessuna evidenziazione di testo né scritte ai margini. Non ci sono pagine mancanti. Per maggiori dettagli e la descrizione di eventuali imperfezioni, consulta l'inserzione del venditore. Vedi tutte le definizioni delle condizioniviene aperta una nuova finestra o scheda
Note del venditore
“Please review all the pictures and read the description as it helps to describe the item.”
Book Title
Real-Time Systems: Formal Specification and Automatic Verificatio
Genre
COMPUTERS
ISBN
9780521883337
Categoria

Informazioni su questo prodotto

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
0521883334
ISBN-13
9780521883337
eBay Product ID (ePID)
87837560

Product Key Features

Number of Pages
344 Pages
Publication Name
Real-Time Systems : Formal Specification and Automatic Verification
Language
English
Publication Year
2008
Subject
Networking / General, Data Processing
Type
Textbook
Subject Area
Computers
Author
Henning Dierks, Ernst-Rüdiger Olderog
Format
Hardcover

Dimensions

Item Height
0.7 in
Item Weight
28.7 oz.
Item Length
10 in
Item Width
7.1 in

Additional Product Features

Intended Audience
Scholarly & Professional

Descrizione dell'oggetto fatta dal venditore

Informazioni sul venditore professionale

Informazioni su questo venditore

Mina Finds

99,7% di Feedback positivi•1,4 mila oggetti venduti

Su eBay da mag 2021
Registrato come venditore professionale
Welcome to MinaFinds – Your Preloved Treasure Trove!At MinaFinds, we specialize in high-quality preloved items, including fragrances, books, collectibles, phones, and more! From unique finds to ...
Mostra altro
Visita il negozioContatta

Valutazione dettagliata del venditore

Media degli ultimi 12 mesi
Descrizione
4.8
Spese spedizione
4.8
Tempi di spedizione
5.0
Comunicazione
5.0

Feedback sul venditore (634)

Tutti i punteggi
Positivo
Neutro
Negativo
  • n***2 (2471)- Feedback lasciato dall'acquirente.
    Ultimi 6 mesi
    Acquisto verificato
    Quick Delivery. Well Packaged. Great Price. Brilliant Seller. Great Communication.Item as described.Many thanks+++++++++++
    Royal Worcester King Size Egg Coddler Floral Woodland Spray (N° 135456483948)
  • t***1 (6)- Feedback lasciato dall'acquirente.
    Ultimi 6 mesi
    Acquisto verificato
    The item I bought was just as it was described and was suitable for my needs.It was competitively priced and the postage was reasonable.It arrived well packaged and protected.The seller did a good job with the parcel.
    True Vintage Padlock 2 Tour with One Key Steel Rusted (N° 135471776693)
  • c***2 (30)- Feedback lasciato dall'acquirente.
    Mese scorso
    Acquisto verificato
    Won these earrings in an auction very pleased postage was very quick packaging was great they are exactly as described and superb value for money
    African Tribal Glass Earrings Gold Beads Ethnic (N° 136488359063)
Vedi tutti i feedback