Home Advanced Search

Advanced Search - Page 1

CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • PDF
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • DJVU
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Action Semantics
  • PDF
  • English
  • Year: 2005
  • Author: Peter D. Mosses
Action Semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Peter D. Mosses
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)
TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.)
Semantic Domains and Denotational Semantics
  • PDF
  • English
  • Year: 1989
  • Author: Carl A. Gunter, Peter D. Mosses, Dana S. Scott
search