Fundamentals of algebraic specification
By: H. Ehrig, B. Mahr.
Contributors: Mahr, B.
Series: EATCS monographs on theoretical computer science ;; v. 6, 21; EATCS monographs on theoretical computer science ;; v. 6, etc.
Publisher: Springer-Verlag; Springer Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 321
Subjects: Data structures (Computer science); Algebra.
Other titles: Algebraic specification.
Notes: Includes bibliographies and indexes.
Table of contents: title: 1. Equations and initial semantics; title: 2. Module specifications and constraints.