Neuware
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune…
2017 Kartoniert, 504 Seiten, 235mm x 155mm x 28mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 20…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319681665
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)!