Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

Computer Aided Verification - 9783319633862 (ISBN)

(1 Ergebnisse)
ISBN / EAN
9783319633862
ISBN: 9783319633862
Diese Suche speichern
Neuware
Computer Aided Verification  - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 2…

2017 Kartoniert, 624 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Ge…

Neuware
Bestell-Nr.: A30075934
ISBN: 3319633864
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Nichts passendes gefunden?
ISBN / EAN
9783319633862
Link zur Suche kopieren

Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!