Verification, Model Checking, and Abstract Interpretation

ISBN 10: 3031249496 ISBN 13: 9783031249495
Verlag: Springer, Berlin|Springer Nature Switzerland|Springer, 2023
Sprache: Englisch
Neu Zustand: New Softcover

Verkäufer moluna, Greven, Deutschland

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

AbeBooks-Verkäufer seit 9. Juli 2020

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Preis: EUR 70,33 Währung umrechnen
EUR 48,99 für den Versand von Deutschland nach USA Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen