Reading Length
Home
Speed Tests
Login
Edmund M. Clarke
Identifiers
Open Library
OL7336799A
Top Subjects
Logic, symbolic and mathematical (1)
Models and modelmaking (1)
Sat (educational test) (1)
Books by Edmund M. Clarke
Total count: 3
Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Springer
2010-01-01
Handbook of Model Checking
Springer London, Limited
2017-01-01
Model Checking, Second Edition
MIT Press
2018-01-01
