Armin Biere - Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... Papers (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 296, publicationDate : 2013-07-19, releaseDate : 2013-07-19, publishers : Armin Biere, languages : english, ISBN : 3642396100 ...