
Verified Software: Theories, Tools, Experiments
- Alaotsikko
- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
- Toimittaja
- Bertrand Meyer, Jim Woodcock
- Painos
- 2008 ed.
- ISBN
- 9783540691471
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 7.7.2008
- Sivumäärä
- 546