Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part I

Bernhard Steffen

ISBN 10: 3031737083 ISBN 13: 9783031737084
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2024
Sprache: Englisch
Neu Zustand: Neu Softcover

Verkäufer AHA-BUCH GmbH, Einbeck, Deutschland

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

AbeBooks-Verkäufer seit 14. August 2006

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Preis: EUR 79,17 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen