Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

Kim G. Larsen, Bernhard Steffen, Tiziana Margaria, W. Rance Cleaveland, Ed Brinksma

ISBN 10: 3540606300 ISBN 13: 9783540606307
Edité par Springer 2008-06-13, 2008
Langue: anglais
Neuf(s) Etat : New Couverture souple

Vendu par Chiron Media, Wallingford, Royaume-Uni

Vendeur AbeBooks depuis 2 août 2010

É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 : New

Prix: EUR 57,56 Autre devise
EUR 10,99 expédition depuis Royaume-Uni vers France Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier