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

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings


Book Informaton

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Author

Nir Piterman

Series

Lecture Notes in Computer Science

Volume

9434

Year of Publication

1st ed. 2015

Publisher

Springer International Publishing

Pages

XVI, 293

Language

EN

ISBN

9783319262864, 9783319262871, 3319262866

ARI Id

1664696547916


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo