Computer-Aided Verification of Coordinating Processes | The Automata-Theoretic Approach

Robert P. Kurshan

ISBN 10: 0691634890 ISBN 13: 9780691634890
Edité par Princeton University Press, 2016
Langue: anglais
Etat : Neuf Couverture rigide

Vendu par preigu, Osnabrück, Allemagne

Vendeur AbeBooks depuis 5 août 2024

É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 126,45
EUR 70 expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier