Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers


Book Informaton

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Author

Eyal Bin; Avi Ziv; Shmuel Ur

Series

Lecture Notes in Computer Science

Volume

4383

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XII, 235

Language

en

ISBN

9783540708889, 9783540708896, 354070888X

ARI Id

1664713334000


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 3 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 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-33
34-49
50-64
65-80
81-91
92-108
109-121
122-123
124-137
138-154
155-165
166-182
183-197
198-203
204-218
219-234
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries