Importo totale (1 articolo articoli):
Destinazione ordine:
OLDEROG, ERNST RUDIGER; DIERKS, HENNING (8 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (8)
- 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 (8)
- 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 (8)
- 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 (6)
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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
EUR 63,69
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello -
Real-Time Systems: Formal Specification And Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
EUR 80,90
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 3 disponibili
Aggiungi al carrello -
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 110,57
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 148,33
EUR 14,24 shipping
Spedito 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 108,21
EUR 14,24 shipping
Spedito 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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
EUR 100,35
EUR 48,99 shipping
Spedito 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.
