Home > Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Book Informaton
Author
Kedar Namjoshi; Andreas Zeller; Avi Ziv
Series
Lecture Notes in Computer Science
Volume
6405
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
X, 169
Language
en
ISBN
9783642192364, 9783642192371
ARI Id
1664714103288
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 17 of 17 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-3 | |||
4-4 | |||
5-20 | |||
21-33 | |||
34-51 | |||
52-56 | |||
57-70 | |||
71-86 | |||
87-101 | |||
102-116 | |||
117-132 | |||
133-149 | |||
150-168 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 17 of 17 entries