Neuware
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
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
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)!