Zohar Manna

Identifiers

Open LibraryOL657603A

Top Subjects

Computer programming (4)
Logic, Symbolic and mathematical (3)
Computer science (2)
Debugging in computer science (1)
Computer programs (1)
Automatic programming (Computer science) (1)
Logic, Symbolic and mathematical. (1)

Books by Zohar Manna

Total count: 16

Mathematical theory of computation.

McGraw-Hill1974-01-01
Introduction to Mathematical Theory of Computation (Computer Science)

McGraw-Hill Education1974-12-01
Studies in automatic programming logic

North-Holland1977-01-01
Lectures on the logic of computer programming

Society for Industrial and Applied Mathematics1980-01-01
The logical basis for computer programming

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

Society for Industrial Mathematics1987-01-01
Temporal Logic of Reactive and Concurrent Systems

Island Press1991-01-01
Fundamentals of deductive program synthesis

Dept. of Computer Science, Stanford University1992-01-01
The Temporal Logic of Reactive and Concurrent SystemsSpecification

Springer New York1992-01-01
The deductive foundations of computer programming

Addison-Wesley1993-01-01
Temporal Verification of Reactive SystemsSafety

Springer New York1995-01-01
Temporal verification of reactive systemssafety

Springer1995-01-01
The Calculus of Computation: Decision Procedures with Applications to Verification

Springer2007-09-18
Logcl Basis Cmpt Prog V1

Pearson Education, Limited2008-01-01
Time for VerificationEssays in Memory of Amir Pnueli

Springer London, Limited2010-01-01
The Calculus of ComputationDecision Procedures with Applications to Verification

Springer2010-10-19