Autres éditions populaires du même titre
Résultats de recherche pour Verifying Concurrent Processes Using Temporal Logic
Image fournie par le vendeur
Lecture Notes in Computer Science
Edité par
Springer Science & Business Media, 1982
ISBN 10 : 3540112057
ISBN 13 : 9783540112051
Ancien ou d'occasion
Softcover
Vendeur : Bookbot, Prague, Rébublique tchèque
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Fair. Beschriftungen / Markierungen; Leichte Risse; Farbveränderung durch Alter/Sonne. N° de réf. du vendeur 13f23941-af90-4ede-bfa9-bf5e2bd17b72
Acheter D'occasion
EUR 5,52
Expédition à EUR 20,99
Expédition depuis Rébublique tchèque vers Etats-Unis
Expédition depuis Rébublique tchèque vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540112051_new
Acheter neuf
EUR 58,69
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verifying Concurrent Processes Using Temporal Logic
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540112051
Acheter neuf
EUR 56,89
Expédition à EUR 17,90
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic
Edité par
Springer Berlin Heidelberg, Springer Mär 1982, 1982
ISBN 10 : 3540112057
ISBN 13 : 9783540112051
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch. N° de réf. du vendeur 9783540112051
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Edité par
Springer, 2008
ISBN 10 : 3540112057
ISBN 13 : 9783540112051
Ancien ou d'occasion
paperback
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500. N° de réf. du vendeur 689038
Acheter D'occasion
EUR 6,99
Expédition à EUR 80,70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic
Edité par
Springer Berlin Heidelberg, 1982
ISBN 10 : 3540112057
ISBN 13 : 9783540112051
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Networ. N° de réf. du vendeur 4881303
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1982, 1982
ISBN 10 : 3540112057
ISBN 13 : 9783540112051
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. N° de réf. du vendeur 9783540112051
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. N° de réf. du vendeur 9783540112051
Acheter neuf
EUR 53,49
Expédition à EUR 61,71
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verifying Concurrent Processes Using Temporal Logic
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern | Taschenbuch | viii | Englisch | 1982 | Springer | EAN 9783540112051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 102156341
Acheter neuf
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)