Roderick Bloem - Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 228, publicationDate : 2016-11-01, releaseDate : 2016-11-01, publishers : Roderick Bloem, languages : english, ISBN : 3319490516 ...