Hardware and Software: Verification and Testing
Eran Yahav
Hardware and Software: Verification and Testing - Springer 2014 - Lecture Notes in Computer Science .
9783319133386
Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Computer Communication Networks
Hardware and Software: Verification and Testing - Springer 2014 - Lecture Notes in Computer Science .
9783319133386
Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Computer Communication Networks