Mathematical theory of program correctness

Mathematical theory of program correctness

Saved in:

Bibliographic Details
Main Author:	Bakker, J. W. de 1939- Jacobs Willem de
Format:	Unknown
Published:	Englewood Cliffs, N.J. Prentice-Hall International 1980
Series:	Prentice-Hall International series in computer science
Subjects:	Computer programs > Correctness Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematical theory of program correctness
by: Bakker, Jacolous Willem de
Published: (1980)

Mathematical logic and programming languages
Published: (1985)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

The logical basis for computer programming
by: Manna, Zohar
Published: (1985)

The deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

The foundations of mathematics
by: Stewart, Ian
Published: (1998)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

A concise introduction to pure mathematics
by: Liebeck, M. W. 1954- Martin W.
Published: (2006)

A concise introduction to pure mathematics
by: Liebeck, M. W 1954- Martin W.
Published: (2011)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Handbook of mathematical logic
Published: (1978)

Waht is mathematical logic?
Published: (1972)

Computation as logic
by: Lalement, Rene
Published: (1993)

Inconsistent mathematics
by: Mortensen, Chris
Published: (1995)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Perspectives on the history of mathematical logic
Published: (1991)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah
Published: (2000)

Proof and computation
Published: (1995)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Mathematical logic in the 20th century
Published: (2003)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

Correctional administration the management of probation, institutions, and parole
by: Coffey, Alan
Published: (1974)

Logic design theory
by: Biswas, Nripendra Nath 1928-
Published: (1993)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Introduction to corrections
by: Fox, Vernon Brittain l916-
Published: (1994)

Logical methods in honor of Anil Nerode's sixtieth birthday
Published: (1993)

Logic and algebra of specification
Published: (1993)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Mathematical logic for computer science
by: Lu, Chung-wan
Published: (1989)

Perspectives on the History of Mathematical Logic
Published: (2008)

Proof Knowledge In Mathematics
Published: (1992)