Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

ISBN 10: 3031505239 ISBN 13: 9783031505232
Verlag: Springer, 2024
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 74,86
EUR 2,22 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen