کتاب های Edmund M. Clarke Jr. (auth.)
![25 Years of Model Checking: History, Achievements, Perspectives](http://cdn.ketabkoo.com/covers/0/70123-n.jpg)
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008![25 Years of Model Checking: History, Achievements, Perspectives](http://cdn.ketabkoo.com/covers/0/70124-n.jpg)
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008![Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings](http://cdn.ketabkoo.com/covers/2/237416-n.jpg)
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
Edmund M. Clarke (auth.), 1994![Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings](http://cdn.ketabkoo.com/covers/2/262506-n.jpg)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
Edmund M. Clarke Jr. (auth.), 1991![Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings](http://cdn.ketabkoo.com/covers/3/382238-n.jpg)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002![Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings](http://cdn.ketabkoo.com/covers/3/382239-n.jpg)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002![Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings](http://cdn.ketabkoo.com/covers/3/392260-n.jpg)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
Edmund M. Clarke Jr. (auth.), 1996![Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings](http://cdn.ketabkoo.com/covers/3/392261-n.jpg)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
Edmund M. Clarke Jr. (auth.), 1996![Model checking](http://cdn.ketabkoo.com/covers/2/201423-n.jpg)
Model checking
Edmund M. Clarke Jr., 1999![Model checking](http://cdn.ketabkoo.com/covers/2/201424-n.jpg)
Model checking
Edmund M. Clarke Jr., 1999![Model Checking](http://cdn.ketabkoo.com/covers/2/201425-n.jpg)
Model Checking
Edmund M. Clarke Jr., 1999![Logic for Programming, Artificial Intelligence, and Reasoning](http://cdn.ketabkoo.com/covers/3/399075-n.jpg)
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, 2011![Handbook of Model Checking](http://cdn.ketabkoo.com/covers/10/1095330-n.jpg)
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.), 2018![Model Checking (Cyber Physical Systems Series)](http://cdn.ketabkoo.com/covers/15/1506001-n.jpg)