Neuware
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, Jul…
2015 Kartoniert, 704 Seiten, 235mm x 155mm x 38mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, C…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319216898
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)!