Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Piskac, Ruzica (Editor)/ Rakamaric, Zvonimir (Editor)

ISBN 10: 3031986849 ISBN 13: 9783031986840
Verlag: Springer-Nature New York Inc, 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 74,47 Währung umrechnen
EUR 28,70 für den Versand von Vereinigtes Königreich nach USA Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen