Computer-Aided Verification of Coordinating Processes

Robert P. Kurshan

ISBN 10: 0691606056 ISBN 13: 9780691606057
Edité par Princeton University Press, US, 2014
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Rarewaves USA, OSWEGO, IL, Etats-Unis

Vendeur AbeBooks depuis 10 juin 2025

É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 souple

Etat : Neuf

Prix:
EUR 73,84
Gratuit expédition vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier