Cover Image

Logics of specification languages /

Show other versions (1)

Bibliographic Details
Other Authors:	Bjørner, D. (Dines), 1937-, Henson, Martin C.
Format:	Book
Language:	English
Published:	Berlin : Springer, [2008]
Series:	Monographs in theoretical computer science.
Subjects:	Programming languages (Electronic computers) > Semantics. Logic, Symbolic and mathematical.
Online Access:	Publisher description Table of contents only

Similar Items

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

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

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

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

Semantics and logics of computation /
Published: (1997)

Handbook of logic and language /
Published: (2011)

Truth, deduction, and computation : logic and semantics for computer science /
by: Davis, Ruth E.
Published: (1989)

Logics of specification languages /
Published: (2008)

Logic programming : a classified bibliography /
by: Balbin, Isaac
Published: (1985)

Handbook of logic and language /
Published: (1997)

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

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)

Foundations of fuzzy logic and Semantic Web languages /
by: Straccia, Umberto
Published: (2014)

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)

An object-based logic programming language /
by: Arimilli, Venkataramana Rao, 1960-
Published: (1986)

The semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (1990)

Natural language understanding /
by: Allen, James
Published: (1995)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Logic and algebra of specification /
Published: (1993)

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

Logic programming /
Published: (1982)

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

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Temporal logics and their applications /
Published: (1987)

Logic, language, and computation /
Published: (1997)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Meta-logics and logic programming /
Published: (1995)

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

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /
Published: (1994)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published: (1994)

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

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

Logic, language, and computation /
Published: (1996)

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published: (1994)

An introduction to the PL/CV2 programming logic /
by: Constable, R. L. (Robert L.)
Published: (1982)