Zohar Manna

18 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Mathematical Theory of Computation

by Zohar Manna First published in 1974 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna and Amir Pnueli First published in 1991 — 3 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

The logical basis for computer programming

by Zohar Manna, Richard Waldinger, and Johar Manna First published in 1985 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Preview

The deductive foundations of computer programming: a one-volume version of The logical basis for computer programming

by Zohar Manna First published in 1993 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Temporal Verification of Reactive Systems: Safety

by Zohar Manna First published in 1995 — 2 editions

Locate

My Reading Lists:

Create a new list
Fundamentals of deductive program synthesis

by Zohar Manna First published in 1992 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Lectures on the logic of computer programming

by Zohar Manna First published in 1980 — 1 edition

Locate

My Reading Lists:

Create a new list
Software development technologies for reactive, real-time, and hybrid systems

by Zohar Manna First published in 1997 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Studies in automatic programming logic

by Zohar Manna First published in 1977 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Introduction to Mathematical Theory of Computation (Computer Science)

by Zohar Manna First published in 1974 — 1 edition

Locate

My Reading Lists:

Create a new list
Logcl Basis Cmpt Prog V1

by Zohar Manna and Richard Waldinger First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
Time for Verification: Essays in Memory of Amir Pnueli

by Zohar Manna and Doron A. Peled First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley and Zohar Manna First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. R. Bradley and Zohar Manna First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
STeP, the Stanford Temporal Prover

by Zohar Manna First published in 1994 — 1 edition

Locate

My Reading Lists:

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

by Zohar Manna First published in 1987 — 1 edition

Locate

My Reading Lists:

Create a new list
The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna First published in 1992 — 1 edition

Locate

My Reading Lists:

Create a new list
Temporal verification of reactive systems: safety

by Zohar Manna First published in 1995 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL657603A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 28, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

Zohar Manna

18 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History