Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7 8, 2025, Proceedings

Ernst, Gidon (Editor)/ Rozier, Kristin Yvonne (Editor)

ISBN 10: 3032068460 ISBN 13: 9783032068460
Verlag: Springer Nature, 2025
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Revaluation Books, Exeter, Vereinigtes Königreich

AbeBooks-Verkäufer seit 6. Januar 2003

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 69,52
EUR 11,48 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb legen