Importo totale (1 articolo articoli):
Destinazione ordine:
real time systems formal specification di olderog ernst rüdiger (12 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (12)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (12)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (12)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (1)
- Non Print on Demand (9)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
EUR 62,78
Gratis per la spedizione da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Real-Time Systems: Formal Specification And Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
EUR 80,55
Gratis per la spedizione da Australia a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Condizione: New. SUPER FAST SHIPPING.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 101,50
EUR 13,55 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Real-Time Systems: Formal Specification and Automatic Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 149,82
EUR 14,14 per la spedizione da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
-
Real-Time Systems: Formal Specification and Automatic Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 107,45
EUR 14,14 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 110,61
EUR 21,66 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 840.
-
Real-Time Systems: Formal Specification and Automatic Verification
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Lingua: Inglese
EUR 100,35
EUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, time.
