1.

By: Helmut Veith, Orna Grumberg, Doron Peled, Daniel Kroening, Edmund M. Clarke Jr.

No Review Yet

AED259

Binding:	Hardback
Release:	04 Dec 2018
Language:	English

Available

Ships within 4-6 Days Explain..

2.

Handbook of Model Checking

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

Publisher: Springer International Publishing AG

No Review Yet

AED628

Binding:	Hardback
Release:	08 Jun 2018
Language:	English

Available

Ships within 14-16 Days Explain..

3.

Handbook of Model Checking

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

Publisher: Springer Nature Switzerland AG

No Review Yet

AED628

Binding:	SA
Release:	14 Nov 2020
Language:	English

Available

Ships within 14-16 Days Explain..

4.

Computer-Aided Verification

By: Edmund M. Clarke, Robert P. Kurshan

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED277

Binding:	Paperback
Release:	02 Oct 1991
Language:	English

International Edition

Ships within 10-12 Days Explain..

5.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Edmund M. Clarke

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED190

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

Available

Ships within 14-16 Days Explain..

6.

Model Checking

By: Orna Grumberg, Doron Peleg, Edmund M. Clarke Jr.

Publisher: MIT Press Ltd

No Review Yet

AED199

Binding:	Hardback
Release:	20 Dec 1999
Language:	English

Available

Ships within 10-12 Days Explain..

7.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Edmund M Clarke (Comp Sci Dept)

Publisher: Not Avail

No Review Yet

AED0

Binding:	Digital (delivered electronically)
Release:	04 Jan 2011

Out of Stock

Notify me when this book is in stockNotify Me

8.

Cases on Common Law Pleading, Selected From Decisions of English and American Courts

By: Edmund M Morgan, Clarke B Whittier

Publisher: Creative Media Partners, LLC

No Review Yet

AED95

Binding:	Paperback
Release:	05 Mar 2019
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

9.

Computer-Aided Verification

By: Edmund M Clarke

Publisher: Springer

No Review Yet

AED116

Binding:	Paperback
Release:	01 Oct 1991
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Computer-Aided Verification

By: Edmund M Clarke, Robert P Kurshan

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

11.

Computer-Aided Verification

By: Edmund M Clarke, Robert P Kurshan

Publisher: Springer

No Review Yet

AED218

Binding:	Digital (delivered electronically)
Release:	01 Dec 1991
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

12.

Cases on Common Law Pleading, Selected from Decisions of English and American Courts

By: Edmund M Morgan, Clarke B Whittier

Publisher: BiblioLife

No Review Yet

AED89

Binding:	Paperback
Release:	03 Oct 2009
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

13.

Analysis of Stakeholder Power and Responsibilites in Community Involvement in Forest Management in Eastern and Southern Africa

By: Edmund G C Barrow, Jeanette Clarke, Isla Grundy, Yemeserach Tessema, Kamugisha-Ruhombe Jones

Publisher: Union Internationale pour la Conservation de la Nature et de ses Ressources,Switzerland

No Review Yet

AED75

Binding:	Paperback
Release:	01 Jan 2002
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

14.

James Otis - the pre-revolutionist

By: G Mercer Adam, John Clarke Ridpath, Charles K Edmunds

Publisher: Echo Library

No Review Yet

AED37

Binding:	Paperback
Release:	30 Jun 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

15.

James Otis, the Pre-Revolutionist

By: G Mercer Adam, John Clarke Ridpath, Charles Keyser Edmunds

Publisher: Dodo Press

No Review Yet

AED51

Binding:	Paperback
Release:	31 Jan 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

16.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Edmund M Clarke (Comp Sci Dept Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University)

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	13 Mar 2011

Out of Stock

Notify me when this book is in stockNotify Me

17.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Edmund M Clarke (Comp Sci Dept Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University)

Publisher: Springer

No Review Yet

AED62

Binding:	Graphic Novel
Release:	01 Jan 2011

Out of Stock

Notify me when this book is in stockNotify Me

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter