Kerstin Eder - Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261)

Brand : Springer, Binding : Taschenbuch, Edition : 2012, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 276, publicationDate : 2012-10-09, releaseDate : 2012-10-09, publishers : Kerstin Eder, João Lourenҫo, Onn Shehory, ISBN : 364234187X ...