کتاب های Edmund M. Clarke
درباره نویسنده
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
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
Model checking
Edmund M. Clarke Jr., 1999
Model checking
Edmund M. Clarke Jr., 1999
Model Checking
Edmund M. Clarke Jr., 1999
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
Edmund M. Clarke Jr. (auth.), 1991
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
Edmund M. Clarke (auth.), 2002
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
Edmund M. Clarke Jr. (auth.), 1996
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, 2011
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.), 2018
