
Computer Aided Verification
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.
- Undertitel
- 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
- Redaktör
- Natasha Sharygina, Helmut Veith
- Upplaga
- 2013 ed.
- ISBN
- 9783642397981
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-07-14
- Sidor
- 1015
