An edition of Hardware and Software: Verification and Testing (2011)
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
By Kedar S. Namjoshi
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2011
Publisher
Springer Berlin Heidelberg
Language
eng
Pages
-
Description:
subjects: Logic design, Computer science, Software engineering, Computer input-output equipment, Software architecture, Computer software, Programmverifikation, Model Checking, Congresses, Verification, Computer programs, Testen, Hardwareverifikation, Software, Computer software, verification, Hardware, Testing, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs