
Verified Software: Theories, Tools, Experiments
- Alaotsikko
- Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
- Toimittaja
- Natarajan Shankar, Jim Woodcock
- Painos
- 2008 ed.
- ISBN
- 9783540878728
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.9.2008
- Sivumäärä
- 263