Books by Zohar Manna

3 titles available, newest first by original publication date.

Mathematical Theory of Computation

Zohar Manna

$19.99

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Zohar Manna

$128.99

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna

$67.99