the logic of programming

the logic of programming

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Hehner, Eric C.R
Format:	Unknown
Published:	Englewood Cliffs (New Jersey) Prentice-Hall l984
Subjects:	Mathematics
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

the logic of programming
by: Hehner, Eric C.R
Published: (1984)

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

A practical theory of programming
by: Hehner, Eric C. R
Published: (1993)

Mathematical logic and programming languages
Published: (1985)

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

Logical derivation of computer programs
by: Windekrecht, Thomas G
Published: (1999)

Logic and algebra of specification
Published: (1993)

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

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

Programming logic
by: Leeson, Marjorie
Published: (1988)

Logic programming
Published: (1982)

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

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

Logic programming proceedings of the joint International Conference and Symposium on Logic Programming
Published: (1992)

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

Logic and discrete mathematics a computer science perspective
by: Grassmann, Winfried K, et al.
Published: (1996)

Logic programming new frontiers
Published: (1992)

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

Automata, logics, and infinite games
Published: (2002)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

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

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

Programming logics an introduction to verification and semantics
by: Gumb, Raymond D
Published: (1989)

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

The Journal of logic programming
Published: (1984)

Parallel logic programming
by: Tick, Evan 1959-
Published: (1991)

Microprocessors and programmed logic
by: Short, Kenneth L
Published: (1987)

Cobol logic and programming
by: McCameron, Fritz A
Published: (1968)

Logic programming and databases
by: Ceri, Stefano 1955-
Published: (1990)

Logic tools of programming
by: Pace, Philip
Published: (1987)

Constructing logic programs
Published: (1993)

Temporal logic in specification. Proceedings of the ...
Published: (1989)

Logic programming formal methods and practical applications
Published: (1995)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

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)

Programming logic and design introductory
by: Farrell, Joyce
Published: (2006)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

Programming logic and design introductory
by: Farrell, Joyce
Published: (2004)

PROGRAMMING LOGIC AND DESIGN COMPREHENSIVE
by: Farrell, Joyce
Published: (2018)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2013)