Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 : Selected Papers

Brinksma, Ed (EDT); Cleaveland, W. Rance (EDT); Larsen, Kim G. (EDT); Margaria, Tiziana (EDT); Steffen, Bernhard (EDT)

ISBN 10: 3540606300 ISBN 13: 9783540606307
Edité par Springer, 1995
Langue: anglais
Etat : Neuf Couverture souple

Vendu par GreatBookPrices, Columbia, MD, Etats-Unis

Vendeur AbeBooks depuis 6 avril 2009

É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 74,18
Expédition à EUR 2,28
Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Ajouter au panier