For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Zohar Manna
Zohar Manna is the author of "The Logical Basis for Computer Programming", "Introduction to Mathematical Theory of Computation", "Temporal Verification of Reactive Systems" and "The Deductive Foundations of Computer Programming".
Books by Zohar Manna
View more
The Calculus of C...
Bradley, Aaron R.
Paperback:
$54.99
Temporal Verifica...
Manna, Zohar
Paperback:
$119.99
The Logical Basis...
Manna, Zohar
Hardback:
$68.99
Temporal Verifica...
Manna, Zohar
Electronic book text:
$160.00