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

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

ISBN 10: 303190642X ISBN 13: 9783031906428
Verlag: Springer, 2025
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von GreatBookPrices, Columbia, MD, USA

AbeBooks-Verkäufer seit 6. April 2009

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Wie neu

Preis:
EUR 56,65
EUR 2,29 Versand
Versand innerhalb von USA

Anzahl: 15 verfügbar

In den Warenkorb legen