
Computer Aided Verification
- Undertittel
- 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
- Redaktør
- Ahmed Bouajjani, Oded Maler
- Opplag
- 2009 ed.
- ISBN
- 9783642026577
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.6.2009
- Antall sider
- 722
