
Computer Aided Verification
- Alaotsikko
- 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
- Toimittaja
- Ahmed Bouajjani, Oded Maler
- Painos
- 2009 ed.
- ISBN
- 9783642026577
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.6.2009
- Sivumäärä
- 722