
Computer Aided Verification
- Undertitel
- 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
- Redaktör
- Ganesh Gopalakrishnan, Shaz Qadeer
- Upplaga
- 2011 ed.
- ISBN
- 9783642221095
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-07-05
- Sidor
- 763