Specification and validation methods /

Specification and validation methods /

Bibliographic Details
Other Authors:	Börger, E. (Egon), 1946-
Format:	Book
Language:	English
Published:	Oxford : Oxford University Press, 1995.
Series:	International schools for computer scientists.
Subjects:	Programming languages (Electronic computers) Computers > Mathematical logic

Similar Items

Logics of specification languages /
Published: (2008)

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

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

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

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

Logic programming and its applications /
Published: (1986)

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

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

Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Published: (2023)

Semantics and logics of computation /
Published: (1997)

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

Higher order operational techniques in semantics /
Published: (1998)

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

Warren's abstract machine : a tutorial reconstruction /
by: Aït-Kaci, Hassan, 1954-
Published: (1991)

Pascal compiler validation /
Published: (1983)

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

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)

Formal specification and software development /
by: Bjørner, D. (Dines), 1937-
Published: (1982)

Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers /
Published: (2023)

Formal methods : theory and practice /
Published: (1989)

Order-sorted feature theory unification /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Published: (1992)

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
Published: (1991)

Programming language implementation and logic programming : proceedings /
Published: (1990)

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings /
Published: (1993)

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /
Published: (1991)

Warren's abstract machine : a tutorial reconstruction /
by: Aït-Kaci, Hassan, 1954-
Published: (1991)

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

Algorithm specification /
Published: (1972)

Domain-specific languages /
by: Fowler, Martin, 1963-
Published: (2011)

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

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

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

Domain-specific modeling : enabling full code generation /
by: Kelly, Steven
Published: (2008)

Logic and algebra of specification /
Published: (1993)

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
Published: (2007)

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

Initial computability, algebraic specifications, and partial algebras /
by: Reichel, Horst
Published: (1987)

Logic programming languages : constraints, functions, and objects /
Published: (1993)