Home Advanced Search

Advanced Search - Page 1

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.)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • PDF
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
  • PDF
  • English
  • Year: 1990
  • Author: Hartmut Ehrig, Bernd Mahr
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.)
Mathematisch-strukturelle Grundlagen der Informatik
  • PDF
  • German
  • Year: 2001
  • Author: Prof. Dr. Hartmut Ehrig, Prof. Dr. Bernd Mahr, Dr. Martin Große-Rhode, Dr. Ing. Felix Cornelius, Dr. Philip Zeitz (auth.)
Graph-Grammars and Their Application to Computer Science and Biology: International Workshop Bad Honnef, October 30 – November 3, 1978
  • PDF
  • English
  • Year: 1979
  • Author: Hartmut Ehrig (auth.), Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg (eds.)
Action Semantics
  • PDF
  • English
  • Year: 2005
  • Author: Peter D. Mosses
Action Semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Peter D. Mosses
search