Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I

K. Rustan M. Leino

ISBN 10: 3030816842 ISBN 13: 9783030816841
Verlag: Springer International Publishing, Springer International Publishing, 2021
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 42,79 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen