Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Zohar Manna

Zohar Manna

19 results found
List viewGrid view
Sort By:
1.
The Calculus of Computation36 %
The Calculus of Computation
By: Zohar Manna, Aaron R. Bradley
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,574
₹3,567
Binding:
Paperback
Release:
19 Oct 2010
Language:
English
Available
Ships within 14-16 Days Explain..
2.
The Calculus of Computation5 % POD/NR
The Calculus of Computation
By: Zohar Manna, Aaron R. Bradley
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
5.0 (1)
₹7,664
₹7,281
Binding:
Hardback
Release:
03 Sep 2007
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
3.
Mathematical Theory of Computation21 % NR
Mathematical Theory of Computation
By: Zohar Manna
Publisher: Dover Publications Inc.
3.5 (2)
₹2,308
₹1,823
Binding:
Paperback
Release:
24 Dec 2003
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
The Temporal Logic of Reactive and Concurrent Systems43 %
The Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹12,044
₹6,865
Binding:
Hardback
Release:
18 Dec 1991
Language:
English
Available
Ships within 2-4 Days Explain..
5.
The Temporal Logic of Reactive and Concurrent Systems36 %
The Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
17 Oct 2012
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Temporal Verification of Reactive Systems37 %
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
5.0 (1)
₹10,949
₹6,898
Binding:
Hardback
Release:
04 Aug 1995
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Temporal Verification of Reactive Systems37 %
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹12,044
₹7,588
Binding:
Paperback
Release:
22 Aug 2012
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Introduction to Mathematical Theory of Computation10 % NR
Introduction to Mathematical Theory of Computation
By: Zohar Manna
Publisher: McGraw-Hill Education - Europe
No Review Yet
₹3,609
₹3,248
Binding:
Paperback
Release:
/12/1974
Out of Stock
Notify me when this book is in stockNotify Me
9.
Introduction to Mathematical Theory of ComputationNR
Introduction to Mathematical Theory of Computation
By: Zohar Manna
Publisher: McGraw-Hill Education - Europe
No Review Yet
₹2,639
Binding:
Hardback
Release:
01 Jan 1974
Out of Stock
Notify me when this book is in stockNotify Me
10.
The Temporal Logic of Reactive and Concurrent Systems Specification
The Temporal Logic of Reactive and Concurrent Systems Specification
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,324
Binding:
Hardback
Release:
/01/1992
Out of Stock
Notify me when this book is in stockNotify Me
11.
Time for Verification
Time for Verification
By: Zohar Manna, Doron a Peled
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
13 Mar 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer My Copy UK
No Review Yet
₹2,201
Binding:
Paperback
Release:
18 Dec 1991
Out of Stock
Notify me when this book is in stockNotify Me
13.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
01 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
14.
The Calculus of Computation
The Calculus of Computation
By: Zohar Manna, Aaron R. Bradley
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,326
Binding:
Digital (delivered electronically)
Release:
/12/2007
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
By: Aaron R Bradley, Zohar Manna
Publisher: Springer
No Review Yet
₹4,326
Binding:
Undefined
Release:
01 Jan 2007
Out of Stock
Notify me when this book is in stockNotify Me
16.
The Deductive Foundations of Computer Programming3 % NR
The Deductive Foundations of Computer Programming
By: Zohar Manna, Richard Waldinger
Publisher: Pearson Education (US)
No Review Yet
₹4,463
₹4,329
Binding:
Hardback
Release:
07 Apr 1993
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Lectures on the Logic of Computer Programming8 % NR
Lectures on the Logic of Computer Programming
By: Zohar Manna
Publisher: Society for Industrial & Applied Mathematics,U.S.
No Review Yet
₹2,696
₹2,472
Binding:
Paperback
Release:
28 Feb 1987
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Time for Verification12 % NR
Time for Verification
By: Zohar Manna, Doron A. Peled
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹7,695
₹6,801
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
The Calculus of ComputationNR
The Calculus of Computation
By: Aaron R Bradley, Zohar Manna
Publisher: Springer
No Review Yet
₹4,323
Binding:
Paperback
Release:
05 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA