Books written by Ganesh Gopalakrishnan BooksWagon

Publisher: Taylor & Francis Ltd

No Review Yet

₹11,764

₹8,352

Binding:	Hardback
Release:	22 Feb 2019
Language:	English

Available

Ships within 14-16 Days Explain..

3.

Publisher: Springer-Verlag New York Inc.

No Review Yet

₹1,932

Binding:	Hardback
Release:	02 Jun 2006
Language:	English

Available

Ships within 8-10 Days Explain..

4.

27 %

Publisher: Taylor & Francis Ltd

No Review Yet

₹5,859

₹4,277

Binding:	Paperback
Release:	30 Sep 2020
Language:	English

Available

Ships within 14-16 Days Explain..

5.

37 %

Formal Methods in Computer-Aided Design

Publisher: Springer-Verlag New York Inc.

No Review Yet

₹10,115

₹6,372

Binding:	Paperback
Release:	29 Oct 2010
Language:	English

Available

Ships within 14-16 Days Explain..

6.

36 %

By: Ganesh Gopalakrishnan, Phillip Windley

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

No Review Yet

₹5,499

₹3,519

Binding:	Paperback
Release:	21 Oct 1998
Language:	English

Available

Ships within 14-16 Days Explain..

7.

36 %

Theorem Proving in Higher Order Logics

By: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

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

No Review Yet

₹5,499

₹3,519

Binding:	Paperback
Release:	01 Sep 2004
Language:	English

Available

Ships within 14-16 Days Explain..

8.

50 % POD/NR

Computer Aided Verification

By: Ganesh Gopalakrishnan, Shaz Qadeer

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

No Review Yet

₹11,249

₹5,625

Binding:	Paperback
Release:	05 Jul 2011
Language:	English

International Edition

Ships within 14-16 Days Explain..

Free Shipping in India and low cost Worldwide.

9.

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	26 Aug 2008
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Publisher: Springer Science+Business Media

No Review Yet

₹7,651

Binding:	Digital (delivered electronically)
Release:	01 Jan 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

11.

Theorem Proving in Higher Order Logics

Publisher: Taylor & Francis Ltd

No Review Yet

₹4,643

Binding:	Digital (delivered electronically)
Release:	04 Mar 2019
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

12.

By: Ganesh Gopalakrishnan, Konrad Slind, Annette Bunker

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

No Review Yet

₹5,778

Binding:	Digital (delivered electronically)
Release:	/12/2004
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

13.

Formal Methods in Computer-Aided Design

By: Ganesh Gopalakrishnan, Phillip Windley

Publisher: Springer

No Review Yet

₹7,731

Binding:	Digital (delivered electronically)
Release:	01 Nov 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

14.

Publisher: Taylor & Francis Ltd

No Review Yet

₹4,643

Binding:	Digital (delivered electronically)
Release:	04 Mar 2019
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

15.

Computer Aided Verification

Publisher: Taylor & Francis Ltd

No Review Yet

₹4,643

Binding:	Digital (delivered electronically)
Release:	04 Mar 2019
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

16.

By: Ganesh Gopalakrishnan, Shaz Qadeer

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	17 Jun 2011

Out of Stock

Notify me when this book is in stockNotify Me

17.

Theorem Proving in Higher Order Logics

By: Ganesh C. Gopalakrishnan

Publisher: Springer-Verlag New York Inc.

No Review Yet

₹5,814

Binding:	Hardback
Release:	01 Dec 2007
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

18.

By: Konrad Slind, Annette Bunker, Ganesh C Gopalakrishnan

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

19.

8 % NR

Specification and Analysis of Discrete Systems: