Cover Image

Formal models and semantics /

Main Author:	Leeuwen, Jan van
Format:	Book
Published:	Amsterdam: Elsevier, 1990
Subjects:	Computer science

Similar Items

Semantic modelling /
Published: (1995)

Computational linguistics and formal semantics/
Published: (1992)

The formal semantics of programming languages : an introduction /
by: Winskel, Glynn
Published: (1996)

The formal semantics of programming languages : an introduction /
by: Winskel, Glynn
Published: (1993)

Formal aspects of computing the international journal of formal methods

Formal models, languages and applications
Published: (2006)

Formal semantics : an introduction /
by: Cann, Ronnie
Published: (1993)

Formal semantics : an introduction /
by: Cann, Ronnie.
Published: (1993)

Formal semantics: an introduction/
by: Cann, Ronnie
Published: (1993)

Handbook of theoretical computer science /
by: Leeuwen, Jan van
Published: (1990)

Algorithms and complexity /
by: Leeuwen, Jan van
Published: (1990)

Syntax-directed semantics :formal models based on tree transducers /
by: Fόlφp, Zoltαn
Published: (1998)

Languages for parallel architectures :design, semantics, implementation models /
Published: (1989)

Formal syntax and semantics of programming languages : a laboratory based approach /
by: Slonneger, Kenneth
Published: (1995)

Models of computation and formal languages /
by: Taylor, Ralph Gregory
Published: (1998)

A semantic basis for quest/
by: Cardelli, Luca
Published: (1990)

Introduction to semantics and formalization of logic /
by: Carnap, Rudolf
Published: (1961)

Introduction to semantics and Formalization of logic/
by: Carnap, Rudolf, 1891-1970
Published: (1975)

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

Introduction to semantics and formalization of logic/
by: Carnap, Rudolf, 1891-1970
Published: (1968)

Semantic structures /
Published: (1994)

Cognitive modeling and verbal semantics a representational framework based on UML /
by: Schalley, Andrea C., 1972-
Published: (2004)

Formal specification: techniques and applications/
by: Nissanke, Nimal
Published: (1999)

A programming approach to formal methods/
by: Casey, Chris
Published: (1994)

Graph-theoretic concepts in computer science: 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings/
by: Leeuwen, Jan van
Published: (1994)

Some extensions to semantic tableaux/
by: Reeves, S.
Published: (1989)

Elements of formal semantics : introduction to logic for students of language /
by: Martin, John N.
Published: (1987)

Studies in formal semantics : intensionality,temporality,negation /
Published: (1978)

Elements of formal semantics: an introduction to logic for students of language/
by: Martin, John N.
Published: (1987)

Formal methods applied to complex systems : implementation of the B method /

A semantic characterization of full abstraction/
by: Mulmuley, Ketan
Published: (1984)

Formal models and techniques for analyzing security protocols
Published: (2011)

From semantics to computer science : essays in honour of Gilles Kahn /
Published: (2009)

Formal method industrial use from model to the code /
Published: (2012)

Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4- 7, 2004: proceedings/
by: Boiten, Eerke A.
Published: (2004)

An introduction to discrete mathematics, formal system specification, and Z/
by: Ince, Darrel
Published: (1992)

Teaching and learning formal methods /
Published: (1996)

Semantic grid model, methodology and applications /
by: Wu, Zhaohui, 1966-
Published: (2008)

Knowledge representation and the semantics of natural language /
by: Helbig, Hermann
Published: (2006)

Handbook of theoretical computer science/
by: Leeuwen, J. van 1850-1924
Published: (1990)

Cannot write session to /tmp/vufind_sessions/sess_punpnf83j4loj917924ah5h2k4