Hana Chockler - Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, H.V.C. 2008, Haifa, Israel, October 27-30, 2008, . . ... (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 228, publicationDate : 2009-04-22, releaseDate : 2009-04-22, publishers : Hana Chockler, languages : english, ISBN : 3642017010 ...