Home > Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Book Informaton
Author
Karen Yorav
Series
Lecture Notes in Computer Science
Volume
4899
Year of Publication
2008
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XII, 267
Language
en
ISBN
9783540779643, 9783540779667, 3540779647
ARI Id
1664698108126
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 22 entries
Chapters/Headings | Author(s) | Pages | Info |
1-7 | |||
8-13 | |||
14-15 | |||
16-16 | |||
17-18 | |||
19-33 | |||
34-50 | |||
51-68 | |||
69-85 | |||
86-103 | |||
104-119 | |||
120-135 | |||
136-152 | |||
153-168 | |||
169-184 | |||
185-201 | |||
202-217 | |||
218-234 | |||
235-251 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 22 entries