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

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries