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
Verlag: Springer International Publishing, 2020
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von AHA-BUCH GmbH, Einbeck, Deutschland

AbeBooks-Verkäufer seit 14. August 2006

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 42,79
EUR 63,40 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen