Zohar Manna

Mathematical Theory of Computation

Zohar Manna

$11.09 - $19.85

The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science)

Zohar Manna

Out of Stock

The Deductive Foundations of Computer Programming

Zohar Manna

$56.49

The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)

Zohar Manna

Out of Stock

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)

Zohar Manna

Out of Stock

Studies in automatic programming logic

Zohar Manna

Out of Stock

Temporal Verification of Reactive Systems: Safety

Zohar Manna

$109.99 - $119.99

The Calculus of Computation: Decision Procedures with Applications to Verification

Zohar Manna

$54.99 - $79.99

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna

$37.79 - $119.99