Model Checking, second edition

by Clarke, Edmund M.; Grumberg, Orna; Kroening, Daniel; et al.

• ISBN13: 9780262038836
• ISBN10: 0262038838
• Edition: 2nd
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-5 Business Days
• New Textbook Copy Usually Ships in 3-5 Business Days
• Free Shipping On Orders Over $35!

Handbook of Model Checking

by Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; et al.

• ISBN13: 9783319105741
• ISBN10: 3319105744
• Format: Hardcover

Handbook of Model Checking

by Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; et al.

• ISBN13: 9783030132330
• ISBN10: 3030132331
• Edition: Reprint
• Format: Paperback

Handbook of Model Checking

by Edmund M. Clarke

• ISBN13: 9783319105758
• ISBN10: 3319105752
• Format: Nonspecific Binding

Model Checking

by Edmund M. Clarke, Orna Grumberg and Doron A. Peled

• ISBN13: 9780262032704
• ISBN10: 0262032708
• Format: Hardcover

• Used Textbook Copy Usually Ships in 2-4 Business Days
• Free Shipping On Orders Over $35!

Logic for Programming, Artificial Intelligence, and Reasoning

by Clarke, Edmund M.; Voronkov, Andrei

• ISBN13: 9783642175107
• ISBN10: 3642175104
• Edition: 1st
• Format: Paperback

Logical Analysis of Hybrid Systems

by Platzer, Andre; Clarke, Edmund M.

• ISBN13: 9783642145087
• ISBN10: 3642145086
• Format: Hardcover

Logic for Programming, Artificial Intelligence, and Reasoning

by Edmund M. Clarke; ?Andrei Voronkov

• ISBN13: 9783642175114
• ISBN10: 3642175112
• Format: Nonspecific Binding