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

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers


Book Informaton

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Author

Armin Biere; Amir Nahir; Tanja Vos

Series

Lecture Notes in Computer Science

Volume

7857

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

XII, 281

Language

en

ISBN

9783642396106, 9783642396113, 3642396100

ARI Id

1664748038482


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.