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

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers


Book Informaton

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Author

Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz

Series

Lecture Notes in Computer Science

Volume

6504

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

X, 197

Language

en

ISBN

9783642195822, 9783642195839

ARI Id

1664720567821


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.