
Verified Software: Theories, Tools, Experiments
- Undertittel
- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
- Redaktør
- Bertrand Meyer, Jim Woodcock
- Opplag
- 2008 ed.
- ISBN
- 9783540691471
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 7.7.2008
- Antall sider
- 546
