Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job

ISBN 10: 0521806089 ISBN 13: 9780521806084
Edité par Cambridge University Press, 2001
Langue: anglais
Etat : Neuf Couverture rigide

Vendu par ALLBOOKS1, Direk, SA, Australie

Vendeur AbeBooks depuis 13 décembre 2023

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Neuf(s) - Couverture rigide

Etat : Neuf

Prix:
EUR 131,38
Livraison gratuite
Expédition depuis Australie vers Etats-Unis

Quantité disponible : 3 disponible(s)

Ajouter au panier