Home > Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
Mathematical Logic and Formal Languages Software engineering Logic design Logics and Meanings of Programs Computer science Programming Languages Compilers Interpreters Artificial intelligence Artificial Intelligence (incl. Robotics) Computer programs Congresses Verification Computer input-output equipment Computer software verification Hardware