Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part III

Finkbeiner, Bernd (EDT); Kovács, Laura (EDT)

ISBN 10: 3031572556 ISBN 13: 9783031572555
Verlag: Springer, 2024
Sprache: Englisch
Zustand: 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


Neu - Softcover

Zustand: Neu

Preis:
EUR 61,63
EUR 2,27 Versand
Versand innerhalb von USA

Anzahl: 15 verfügbar

In den Warenkorb legen