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

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

Zohar Manna · 1987

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1987
Language: English
Publisher: Society for Industrial Mathematics
Editions: 1
Pages: 53
ISBN: 9780898711646

Data source: Wikidata

More by Zohar Manna

Temporal Verification of Reactive SystemsZohar Manna

Temporal Verification of Reactive Systems

Zohar Manna · 1995

The Temporal Logic of Reactive and Concurrent SystemsZohar Manna

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna · 1992

Mathematical theory of computationZohar Manna

Mathematical theory of computation

Zohar Manna · 2003

The temporal logic of reactive and concurrent systemsZohar Manna

The temporal logic of reactive and concurrent systems

Zohar Manna · 1991

The logical basis for computer programmingZohar Manna

The logical basis for computer programming

Zohar Manna · 1990

Time for VerificationZohar Manna

Time for Verification

Zohar Manna · 2010

Logcl Basis Cmpt Prog V1Zohar Manna

Logcl Basis Cmpt Prog V1

Zohar Manna · 2008

Introduction to Mathematical Theory of Computation (Computer Science)Zohar Manna

Introduction to Mathematical Theory of Computation (Computer Science)

Zohar Manna · 1974