Hardware and Software: Verification and Testing
Namjoshi, Kedar.
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / [electronic resource] : edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6405 0302-9743 ; .
9783642192371
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / [electronic resource] : edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6405 0302-9743 ; .
9783642192371
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters