Nir Piterman - Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2015-11-30, releaseDate : 2015-11-30, publishers : Nir Piterman, languages : english, ISBN : 3319262866 ...