Formal methods : theory and practice / edited by P.N. Scharbach.

Saved in:

Bibliographic Details
Published:	London : BSP Professional, 1989.
Other Authors:	Scharbach, P. N.
Subjects:	Computer programming. Logic, Symbolic and mathematical.
Format:	Book

Formal methods : theory and practice /

Similar Items

Logic of programs : workshop, ETH Zurich, May-July 1979 /
Published: (1981)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

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

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

Logic programming, functions, relations, and equations /
Published: (1986)

First-order dynamic logic /
by: Harel, David, 1950-
Published: (1979)

Mathematical logic and programming languages /
Published: (1985)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.
by: Beth, Evert Willem, 1908-1964
Published: (1962)

Formal logic /
by: Lorenzen, Paul
Published: (1965)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

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

A theory of formal deducibility.
by: Curry, Haskell B. (Haskell Brooks), 1900-
Published: (1950)

A theory of formal deducibility
by: Curry, Haskell B. (Haskell Brooks), 1900-
Published: (1950)

Systems of formal logic /
by: Hackstaff, L. H.
Published: (1966)

Modern formal logic /
by: McKay, Thomas J.
Published: (1989)

Handbook of logic in computer science /
Published: (1992)

Computer science logic 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
Published: (2007)

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

Formalization of logic /
by: Carnap, Rudolf, 1891-1970
Published: (1943)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)

A formal analysis of entailment /
by: Belnap, Nuel D., 1930-
Published: (1940)

The formal analysis of normative systems /
by: Anderson, Alan Ross
Published: (1956)

Mathematical logic and formalized theories : a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

Formal logic (1847) /
by: De Morgan, Augustus, 1806-1871
Published: (1926)

Discrete structures with contemporary applications /
by: Stanoyevitch, Alexander
Published: (2011)

The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
Published: (1991)

Mathematical interpretation of formal systems /
Published: (1971)

Introductory formal logic of mathematics /
by: Nidditch, P. H.
Published: (1957)

On formally undecidable propositions of Principia Mathematica and related systems /
by: Gödel, Kurt
Published: (1962)

Proof, logic, and formalization /
Published: (1992)

Handbook of tableau methods /
Published: (1999)

The logic of information structures /
by: Wansing, Heinrich
Published: (1993)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)

The Haskell road to logic, maths and programming /
by: Doets, Kees
Published: (2004)

Formal methods in artificial intelligence /
by: Ramsay, Allan, 1953-
Published: (1988)

Logic and language /
by: Dean, Neville
Published: (2003)

A formalization of set theory without variables /
by: Tarski, Alfred
Published: (1987)