17 results for Zohar Manna
-
Anchor for 1 page of results
-
Introduction to Mathematical Th...
Paperback
Published 01 Jan 1974 -
Mathematical Theory of Computat...
Book
Published 31 Jan 1975 -
Studies in Automatic Programmin...
Book
Published 31 Jan 1978 -
The Logical Basis for Computer ...
Hardback
Published 30 Jun 1985 -
Lectures on the Logic of Comput...
Paperback
Published 28 Feb 1987 -
The Logical Basis for Computer ...
Book
Published 15 Mar 1990 -
-
The Temporal Logic of Reactive ...
Hardback
Published 31 Jan 1992 -
The Deductive Foundations of Co...
Hardback
Published 07 Apr 1993 -
$4.04off
Temporal Verification of Reacti...
Hardback
Published 04 Aug 1995Save $4.04
RRP $121.47- $117.43
-
-
-
-
The Calculus of Computation
Paperback
Published 02 Sep 2009 -
Time for Verification Theoretic...
Paperback
Published 30 Jun 2010 -
-