Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20 23, 2021, Proceedings, Part II

Silva, Alexandra (Editor)/ Leino, K. Rustan M. (Editor)

ISBN 10: 3030816877 ISBN 13: 9783030816872
Verlag: Springer-Nature New York Inc, 2021
Sprache: Englisch
Neu Zustand: Brand New Softcover

Verkäufer Revaluation Books, Exeter, Vereinigtes Königreich

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

AbeBooks-Verkäufer seit 6. Januar 2003

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Preis: EUR 83,37 Währung umrechnen
EUR 11,79 für den Versand von Vereinigtes Königreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen