The deductive foundations of computer programming

The deductive foundations of computer programming

Saved in:

Bibliographic Details
Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Book
Published:	Reading, Mass. Addison-Wesley Pub. Co. 1993
Subjects:	Logic, Symbolic and mathematical Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Techniques of deductive inference
by: Leblanc, Hugues 1924-
Published: (1966)

Logic and structured design for computer programmers
by: Rood, Harold J
Published: (1985)

Logic and structured design for computer programmers
by: Rood, Harold J
Published: (1992)

Mathematical logic and programming languages
Published: (1985)

Mathematical theory of program correctness
by: Bakker, J. W. de 1939- Jacobs Willem de
Published: (1980)

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

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

Proof and computation
Published: (1995)

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

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

Deductive databases and logic programming
by: Das, Subrata Kumar
Published: (1992)

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

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

Foundations of computing system development with set theory and logic
by: Scheurer, Thierry
Published: (1994)

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

Natural language understanding and logic programming proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Published: (1985)

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

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

Logic for problem solving
by: Kowalski, Robert
Published: (1979)

Computational aspects of an order-sorted logic with term declarations
by: Schmidt-Schauss, M. Manfred
Published: (1989)

Foundations of logic programming
by: Lloyd, J. W. (John Wylied1947-
Published: (1984)

Deduct introductory symbolic lo
by: Bone, Daniel
Published: (2003)

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

Deductive logic
by: Leblanc, Hugues 1924-
Published: (1993)

Deductive logic
by: Leblanc, Hugues 1924-
Published: (1976)

Dual tableaux foundations, methodology, case studies
by: Orlowska, Ewa
Published: (2011)

Logic and algebra of specification
Published: (1993)

Introduction to digital logic design
by: Hayes, John P. 1944- John Patrick
Published: (1993)

Logic a foundation for computer science
by: Sperschneider, V., et al.
Published: (1991)

Foundations of programming
by: Arsac, Jacques
Published: (1985)

Threshold logic an engineering survey
by: Hurst, S. L. (Stanley Leonard
Published: (1971)

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

A programming logic with an introduction to the PL/CV verifier
by: Constable, R. L. Robert L
Published: (1978)

COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Published: (1990)

Logic and specification extending VDM-SL for advanced formal specification
by: Middeiburg, Cornelis A
Published: (1993)

Programs from decision tables
by: Humby, Edward
Published: (1973)

The logic of partial information
by: Nait Abdallah, Areski 1950-
Published: (1995)

Automated deduction in geometry revised papers, September 25 - 27, 2000
Published: (2001)

Cannot write session to /tmp/vufind_sessions/sess_48spd113a5i7tc7lefaa5u077a