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
Vendu par Chiron Media, Wallingford, Royaume-Uni
Vendeur AbeBooks depuis 2 août 2010
Neuf(s) - Couverture souple
Etat : New
Quantité disponible : 10 disponible(s)
Ajouter au panier