Valeria Bertacco - Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 388, publicationDate : 2013-10-31, releaseDate : 2013-10-31, publishers : Valeria Bertacco, Axel Legay, languages : english, ISBN : 3319030760 ...