Reading Length
Home
Speed Tests
Login
Daniel Kroening
Identifiers
Open Library
OL7203767A
Top Subjects
Computer science (2)
Models and modelmaking (2)
Sat (educational test) (2)
Lehrbuch (1)
Digitalschaltung (1)
Artificial intelligence (1)
Information theory (1)
Books by Daniel Kroening
Total count: 7
Digitaltechnik - eine praxisnahe Einfu hrung
Springer
2008-01-01
Decision Procedures
An Algorithmic Point of View
Springer
2008-01-01
Verified Software : Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Springer
2014-01-01
Validation of Evolving Software
Springer
2015-01-01
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Springer London, Limited
2015-01-01
Model Checking, Second Edition
MIT Press
2018-01-01
Model Checking
MIT Press
2018-01-01
