1 - 13 of 13 results for "Zohar Manna"

Title: Time for Verification: Essays in Memory of Amir Pnueli / Edition 1, Author: Zohar Manna
Title: The Calculus of Computation: Decision Procedures with Applications to Verification / Edition 1, Author: Aaron R. Bradley
Title: Introduction to Mathematical Theory of Computation, Author: Zohar Manna
Title: The Logical Basis for Computer Programming: Deductive Systems, Author: Zohar Manna
Title: Studies in Automatic Programming Logic, Author: S. Katz
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification, Author: Zohar Manna
Title: The Logical Basis for Computer Programming, Volume 1 / Edition 1, Author: Zohar Manna
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
Online Only
Reward Card: Get
$15
For Every $100 You Spend
Hurry, Offer Ends 8/27/17
See Details
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Amir Pnueli
Title: Mathematical Theory of Computation, Author: Zohar Manna
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
Title: The Deductive Foundations of Computer Programming / Edition 1, Author: Zohar Manna
Title: Lectures on the Logic of Computer Programming, Author: Zohar Manna