Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

ISBN 10: 3031906527 ISBN 13: 9783031906527
Verlag: Springer, 2025
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Books Puddle, New York, NY, USA

AbeBooks-Verkäufer seit 22. November 2018

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 70,90
EUR 3,40 Versand
Versand innerhalb von USA

Anzahl: 4 verfügbar

In den Warenkorb legen