Chockler, Hana.
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings / [electronic resource] : edited by Hana Chockler, Alan J. Hu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5394 0302-9743 ; . - Lecture Notes in Computer Science, 5394 .
9783642017025
10.1007/978-3-642-01702-5 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings / [electronic resource] : edited by Hana Chockler, Alan J. Hu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5394 0302-9743 ; . - Lecture Notes in Computer Science, 5394 .
9783642017025
10.1007/978-3-642-01702-5 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1