Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers


Book Informaton

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Author

Hana Chockler; Alan J. Hu

Series

Lecture Notes in Computer Science

Volume

5394

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin

Pages

XII, 215

Language

en

ISBN

9783642017018, 9783642017025, 3642017010

ARI Id

1664719581352


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 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-3
4-4
5-5
6-6
7-22
23-37
38-52
53-67
68-83
84-98
99-113
114-128
129-148
149-163
164-178
179-193
194-199
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries