Montant total (1 article articles) :
Destination de la commande :
real time systems formal specification de olderog ernst rüdiger (10 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (10)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (10)
- Comme neuf, Très bon ou Bon (Aucun autre résultat ne correspond à ces critères)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (10)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (1)
- Sans impressions à la demande (7)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Real-Time Systems: Formal Specification and Automatic Verification
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,99
Livraison gratuite
Ships from Australie to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBrand 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,71
Livraison gratuite
Ships within Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,71
Livraison gratuite
Ships within Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,20
Livraison gratuite
Ships from Australie to Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierBrand 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 98,82
EUR 3,43 shipping
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,61
Livraison gratuite
Ships within Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 149,49
EUR 14,30 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
-
Real-Time Systems: Formal Specification and Automatic Verification
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 108,70
EUR 14,30 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,90
EUR 21,91 shipping
Ships from Royaume-Uni to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Langue: anglais
EUR 100,35
EUR 48,99 shipping
Ships from Allemagne to Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : 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.
