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

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


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