Fundamentals of algebraic specification 2
Subtitle: module specifications and constraints
By: Hartmut Ehrig, Bernd Mahr.
Contributors: Mahr, B.; European Association for Theoretical Computer Science.
Series: EATCS monographs on theoretical computer science -- 21
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; London
Language: eng
Number of pages: 321
Subjects: Electronic data processing -- Mathematics.; Algebra.