CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 21 of 21 Results
1.
Mathematical Theory of Computation
Mathematical Theory of Computation by Manna, Zohar ISBN: 9780486432380 List Price: $24.95
$19.47 (Save 21%)
2.
The Calculus of Computation
The Calculus of Computation by Bradley, Aaron R., Manna, Z... ISBN: 9783540741121 List Price: $49.95
$73.96
3.
Logical Basis for Computer Programming Deductive Reasoning
Logical Basis for Computer Programming Deductive Reasoning by Manna, Zohar, Waldinger, Ri... ISBN: 9780201182606 List Price: $63.99
$85.96
4.
Temporal Logic of Reactive and Concurrent Systems Specification
Temporal Logic of Reactive and Concurrent Systems Specification by Manna, Zohar, Pnueli, Amir ISBN: 9780387976648 List Price: $169.00
$80.93 (Save 52%)
5.
Time for Verification : Essays in Memory of Amir Pnueli
Time for Verification : Essays in Memory of Amir Pnueli by Manna, Zohar, Peled, Doron A. ISBN: 9783642137532 List Price: $95.00

OUT OF STOCK

See Availability on Amazon
6.
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification by Bradley, Aaron R., Manna, Z... ISBN: 9783642093470 List Price: $49.95
$52.33
7.
Temporal Verification of Reactive Systems Safety
Temporal Verification of Reactive Systems Safety by Manna, Zohar, Pnueli, Amir ISBN: 9780387944593 List Price: $160.00
$75.20 (Save 53%)
8.
Deductive Foundations of Computer Programming A One-Volume Version of
Deductive Foundations of Computer Programming A One-Volume Version of "the Logical Basis for... by Manna, Zohar, Waldinger, Ri... ISBN: 9780201548860 List Price: $55.95
$95.71
9.
Studies in Automatic Programming Logic
Studies in Automatic Programming Logic by Katz, S., Manna, Zohar, Wal... ISBN: 9780444002242 List Price: $46.50

OUT OF STOCK

See Availability on Amazon
10.
Temporal Logic of Reactive and Concurrent Systems : Specification
Temporal Logic of Reactive and Concurrent Systems : Specification by Manna, Zohar, Pnueli, Amir ISBN: 9781461269502 List Price: $169.00
$51.31 (Save 69%)
11.
Verification Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64t...
Verification Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64t... by Dershowitz, Nachum, Manna, ... ISBN: 9783540210023 List Price: $135.00
$103.17 (Save 23%)
12.
Logical Basis for Computer Programming: Deductive Systems - Zohar Manna - Hardcover
Logical Basis for Computer Programming: Deductive Systems - Zohar Manna - Hardcover by Manna, Zohar, Waldinger, Ri... ISBN: 9780201182613 List Price: $49.95
$22.40 (Save 55%)
13.
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation by Manna, Zohar ISBN: 9780070399105
$20.33
14.
Studies in Automatic Programming Logic
Studies in Automatic Programming Logic by Katz, S., Manna, Zohar, Wal... ISBN: 9780444002259 List Price: $26.75

OUT OF STOCK

See Availability on Amazon
15.
Logcl Basis Cmpt Prog V1
Logcl Basis Cmpt Prog V1 by Manna, Zohar, Waldinger, Ri... ISBN: 9780768682182

OUT OF STOCK

See Availability on Amazon
16.
Introduction to Mathematical Theory of Computation (Computer Science)
Introduction to Mathematical Theory of Computation (Computer Science) by Zohar Manna ISBN: 9780070854666

OUT OF STOCK

See Availability on Amazon
17.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems by Manna, Zohar, Pnueli, Amir ISBN: 9781461242239 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Temporal Logic of Reactive and Concurrent Systems
Temporal Logic of Reactive and Concurrent Systems by Manna, Zohar, Pnueli, Amir ISBN: 9781461209324 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
19.
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli ISBN: 9781461287018 List Price: $160.00
$110.19 (Save 31%)
20.
Temporal Logic of Reactive+concurrent..
Temporal Logic of Reactive+concurrent.. by Manna, Zohar, Pnueli, A. ISBN: 9783540976646 List Price: $69.95

OUT OF STOCK

See Availability on Amazon
21.
Lectures on the Logic of Computer Programming
Lectures on the Logic of Computer Programming by Manna, Zohar ISBN: 9780898711646 List Price: $25.50

OUT OF STOCK

See Availability on Amazon