Buy books written by Zohar Manna Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Zohar Manna

Zohar Manna

22 results found
List viewGrid view
Sort By:
1.
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
AED365
Binding:
Hardback
Release:
03 Sep 2007
Language:
English
International Edition
Ships within 18-20 Days Explain..
2.
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED253
Binding:
Paperback
Release:
17 Oct 2012
Language:
English
Available
Ships within 12-14 Days Explain..
3.
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
AED253
Binding:
Paperback
Release:
19 Oct 2010
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED557
Binding:
Paperback
Release:
22 Aug 2012
Language:
English
Available
Ships within 12-14 Days Explain..
5.
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED557
Binding:
Hardback
Release:
18 Dec 1991
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED506
Binding:
Hardback
Release:
04 Aug 1995
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Studies in Automatic Programming Logic
Studies in Automatic Programming Logic
By: Zohar Manna, R. Waldinger
No Review Yet
AED186
Binding:
Paperback
Out of Stock
Notify me when this book is in stockNotify Me
8.
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
By: Zohar Manna
Publisher: McGraw-Hill Education - Europe
No Review Yet
AED52
Binding:
Paperback
Release:
/12/1974
Out of Stock
Notify me when this book is in stockNotify Me
9.
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
AED207
Binding:
Digital (delivered electronically)
Release:
/12/2007
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
The Deductive Foundations of Computer Programming
The Deductive Foundations of Computer Programming
By: Zohar Manna, Richard Waldinger
Publisher: Pearson Education (US)
No Review Yet
AED247
Binding:
Hardback
Release:
07 Apr 1993
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
By: Zohar Manna
Publisher: McGraw-Hill Education - Europe
No Review Yet
AED358
Binding:
Hardback
Release:
01 Jan 1974
Out of Stock
Notify me when this book is in stockNotify Me
12.
The Logical Basis for Computer Programming
The Logical Basis for Computer Programming
By: Zohar Manna, R. Waldinger
Publisher: Pearson Education Limited
No Review Yet
AED137
Binding:
Hardback
Release:
15 Mar 1990
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
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
AED105
Binding:
Paperback
Release:
18 Dec 1991
Out of Stock
Notify me when this book is in stockNotify Me
14.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
AED93
Binding:
Paperback
Release:
01 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
15.
Time for Verification
Time for Verification
By: Zohar Manna, Doron A. Peled
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED414
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Time for Verification
Time for Verification
By: Zohar Manna, Doron a Peled
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
17.
Logical Basis for Computer Programming, Volume 1, The
Logical Basis for Computer Programming, Volume 1, The
By: Zohar Manna, Richard Waldinger
Publisher: Pearson Education Limited
No Review Yet
AED206
Binding:
Hardback
Release:
01 Jan 1985
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
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
AED206
Binding:
Hardback
Release:
/01/1992
Out of Stock
Notify me when this book is in stockNotify Me
19.
Lectures on the Logic of Computer Programming
Lectures on the Logic of Computer Programming
By: Zohar Manna
Publisher: Society for Industrial & Applied Mathematics,U.S.
No Review Yet
AED129
Binding:
Paperback
Release:
28 Feb 1987
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results