Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)
- Binding:
- Paperback
- Number of Pages:
- 546
- ISBN:
- 9783540691471
- Product Group:
- book
- Publisher:
- Springer
- Publication Date:
- July 7, 2008
- BooksForGeeks.com ID:
- 6244
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)
5 out of 5
based on
0 ratings.
0 user reviews.