Neuware
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 1…
2016 Kartoniert, 560 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 sh…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
60,88 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783319415277
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)!