Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Hailpern, B. T.
ISBN 10:
3540112057 ISBN 13:
9783540112051
Edité par Springer, 1982
Langue: anglais
Neuf(s)
Etat : New
Couverture souple
Vendu par Ria Christie Collections, Uxbridge, Royaume-Uni
Vendeur AbeBooks depuis 25 mars 2015
Neuf(s) - Couverture souple
Etat : New
Prix:
EUR 60,46
Autre devise
EUR 4,61
expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Quantité disponible : Plus de 20 disponibles
Ajouter au panier