Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25¿30, 2020, Proceedings, Part II

David Parker

ISBN 10: 3030452360 ISBN 13: 9783030452360
Edité par Springer International Publishing, 2020
Langue: anglais
Etat : Neuf Couverture souple

Vendu par AHA-BUCH GmbH, Einbeck, Allemagne

Vendeur AbeBooks depuis 14 août 2006

É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 42,79
Expédition à EUR 63,40
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier