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

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings


Book Informaton

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Ofer Strichman; Rachel Tzoref-Brill

Series

Lecture Notes in Computer Science

Volume

10629

Year of Publication

1st ed. 2017

Publisher

Springer International Publishing

Pages

XXII, 253

Language

en

ISBN

9783319703886, 9783319703893, 3319703889

ARI Id

1665083137032


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 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XXII
1-1
3-18
19-34
35-50
51-66
67-82
83-98
99-114
115-130
131-146
147-162
163-178
179-194
195-210
211-211
213-216
217-220
221-224
225-228
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries