Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-…
von Ganesh Gopalakrishnan Verlag: Springer Berlin,
2011 2011. Neubindung, Buchrücken leicht eingerissen und geklebt, Buchumschlag leicht geknickt, Ausgabe 2011 10866246/13
gebraucht, gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-…
2011 Kartoniert, 784 Seiten, 235mm x 155mm x 42mm, Sprache(n): eng Fast track proceedingsThis book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented t…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783642221095
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)!