Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers


Book Informaton

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Author

Kerstin Eder; João Lourenҫo; Onn Shehory

Series

Lecture Notes in Computer Science

Volume

7261

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XII, 263

Language

en

ISBN

9783642341878, 9783642341885, 364234187X

ARI Id

1665038094980


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-3
4-4
5-19
20-34
35-49
50-65
66-79
80-94
95-114
115-129
130-144
145-159
160-175
176-189
190-202
203-218
219-233
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries