search result

Cover von Action semantics
Author: Mosses, Peter D. Search for this author
Year: 1992
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 26
Media group: MONOGRAPHIE
Cover von Using Spoofax to Support Online Code Navigation

Using Spoofax to Support Online Code Navigation

Year: 2023
Media group: OASICS
Cover von Formal semantics of programming languages

Formal semantics of programming languages

an overview : article
Author: Mosses, Peter D.
Year: 2006
Media group: ARTICLE
Cover von CASL reference manual
the complete documentation of the Common Algebraic Specification Language
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 2960
Media group: MONOGRAPHIE
Cover von Case study
the steam-boiler control system : article S. 155-190
Author: Bidoit, Michel; Mosses, Peter D. Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 2900
Media group: ARTICLE
Cover von CASL user manual
introduction to using the Common Algebraic Specification Language
Author: Bidoit, Michel; Mosses, Peter D. Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 2900
Media group: MONOGRAPHIE
Cover von Recent trends in algebraic development techniques
14th international workshop : Chateau de Bonas, France, September 15 - 18, 1999 : selected papers
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1827
Media group: MONOGRAPHIE
Cover von Selected papers of TAPSOFT '95
Search for this author
Year: 1996
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 167. 1996, 1/2
Media group: SPECIAL ISSUE
Cover von TAPSOFT '95
theory and practice of software development : 6th international conference CAAP / FASE : Aarhus, Denmark, May 22 - 26, 1995 : proceedings
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 915
Media group: MONOGRAPHIE
Cover von Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 5700
Media group: MONOGRAPHIE
OPEN V 11.1.0.0