Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 61 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 61 entries