Computer Aided Verification - 21st International Conference, CAV 2009, Grenoble, France, June 26 -…
von Ahmed Bouajjani Verlag: Springer Berlin,
2009 2009. Neubindung, Cover leicht geknickt, Ausgabe 2009 5497019/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Computer Aided Verification - 21st International Conference, CAV 2009, Grenoble, France, June 26 -…
2009 Kartoniert, 740 Seiten, 235mm x 155mm x 40mm, Sprache(n): eng This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642026577
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)!