
Verified Software: Theories, Tools, Experiments
- Undertitel
- 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
- Upplaga
- 2008 ed.
- ISBN
- 9783540691471
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-07-07
- Sidor
- 546
