Books by Zohar Manna

20 books found

Mathematical theory of computation

19743 ed.

The deductive foundations of computer programming

19932 ed.

Temporal Verification of Reactive Systems

19952 ed.

Temporal verification of reactive systems

19951 ed.

The logical basis for computer programming

19852 ed.

The temporal logic of reactive and concurrent systems

19913 ed.

Introduction to Mathematical Theory of Computation (Computer Science)

19741 ed.

Fundamentals of deductive program synthesis

19921 ed.

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

19871 ed.

STeP, the Stanford Temporal Prover

19941 ed.

The Temporal Logic of Reactive and Concurrent Systems

19921 ed.

Studies in automatic programming logic

19771 ed.

Lectures on the logic of computer programming

19801 ed.

Software development technologies for reactive, real-time, and hybrid systems

19971 ed.

The Calculus of Computation: Decision Procedures with Applications to Verification

20071 ed.

Logcl Basis Cmpt Prog V1

20081 ed.

Time for Verification

20101 ed.

Time for Verification

20111 ed.

The Calculus of Computation

20081 ed.

The Calculus of Computation

20101 ed.