search result

Cover von TAPSOFT '97
theory and practice of software development : 7th international joint conference CAAP / FASE : Lille, France, April 14 - 18, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1214
Media group: MONOGRAPHIE
Cover von Recent trends in data type specification
8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop : Dourdan, France, August 26 - 30, 1991 : selected papers
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 655
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 Systems and software verification
model-checking techniques and tools
Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Algebraic system specification and development
a survey and annotated bibliography
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 501
Media group: MONOGRAPHIE
OPEN V 11.1.0.0