Reading Length
Home
Speed Tests
Login
Kerstin Eder
Identifiers
Open Library
OL7562384A
Top Subjects
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Artificial Intelligence (incl. Robotics) (1)
Logic design (1)
Software engineering (1)
Books by Kerstin Eder
Total count: 1
Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Imprint: Springer
2012-01-01
