Books of Bernd Mahr

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Published on: 1985
Beginner Algebra English

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals …

Equations Semantics Algebraic Specification Theory
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Published on: 1990
Beginner Unordered English

Modules Algebraic Specification Constraints Formalism

Page 1 of 1