Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)

Kurshan, Robert P. and R. P. Kurshan

ISBN 10: 0691034362 ISBN 13: 9780691034362
Edité par Princeton University Press 06.02.1995., 1995
Langue: anglais
Etat : Occasion - Assez bon Couverture rigide

Vendu par NEPO UG, Rüsselsheim am Main, Allemagne

Vendeur AbeBooks depuis 15 novembre 2018

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Assez bon

Prix:
EUR 36,19
EUR 24 expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier