Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings


Book Informaton

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Valeria Bertacco; Axel Legay

Series

Lecture Notes in Computer Science

Volume

8244

Year of Publication

2013

Publisher

Springer International Publishing

Pages

XX, 366

Language

EN

ISBN

9783319030760, 9783319030777

ARI Id

1664871931776


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 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-14
15-31
32-43
44-60
61-77
78-94
95-111
112-128
129-144
145-150
151-165
166-181
182-198
199-213
214-229
230-245
246-261
262-278
279-294
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries