Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings


Book Informaton

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Author

Eran Yahav

Series

Lecture Notes in Computer Science

Volume

8855

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XVI, 302

Language

en

ISBN

9783319133379, 9783319133386

ARI Id

1664837295731


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 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-29
30-47
48-53
54-67
68-74
75-91
92-98
99-115
116-131
132-147
148-164
165-170
171-187
188-203
204-219
220-235
236-251
252-266
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries