Home > Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2. 3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2. 3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Book Informaton
Author
Bertrand Meyer; Jim Woodcock
Series
Lecture Notes in Computer Science
Volume
4171
Year of Publication
2008
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XXIII, 546
Language
en
ISBN
9783540691471, 9783540691495
ARI Id
1664726982096
This page has been accessed 9 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 61 entries
Chapters/Headings | Author(s) | Pages | Info |
1-18 | |||
19-25 | |||
26-30 | |||
31-41 | |||
42-48 | |||
49-56 | |||
57-63 | |||
64-69 | |||
70-73 | |||
74-81 | |||
82-92 | |||
93-104 | |||
105-115 | |||
116-133 | |||
134-143 | |||
144-152 | |||
153-160 | |||
161-172 | |||
173-181 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 61 entries