ebook img
Author:David Harel (auth.)Armin BiereAmir NahirTanja Vos (eds.)
Language:English
Release year:2013
File size:3.505 MB
Number of page:291
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

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

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.