List of Books by Edmund M Clarke Jr Bookswagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Edmund M Clarke Jr

4 results found

Sort By:

37 %

Handbook of Model Checking

By: Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M., Jr. Clarke, Thomas A Henzinger

Publisher: Springer

No Review Yet

₹13,020

₹8,203

Binding:	Hardback
Release:	20 Mar 2018
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Handbook of Model Checking

By: Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M., Jr. Clarke, Thomas A Henzinger

Publisher: Springer International Publishing

No Review Yet

₹13,020

₹8,203

Binding:	Paperback
Release:	14 Nov 2020
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Andrei (EDT) Voronkov, Edmund M. (EDT) Clarke, Edmund M., Jr. Clarke, Edmund M Clarke

Publisher: Springer

No Review Yet

₹4,650

₹2,930

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

Available

Ships within 12-14 Days Explain..

38 %

Model Checking

By: Orna (Technion) Grumberg, Doron Peleg, Edmund M Clarke Jr, Edmund M. Clarke (Carnegie Mellon University) Jr.

Publisher: Mit Press

No Review Yet

₹6,630

₹4,111

Binding:	Hardback
Release:	20 Dec 1999
Language:	English

Available

Ships within 4-6 Days Explain..

No more records found