Ehrig, Hartmut.

Fundamentals of algebraic specification V.1 H. Ehrig, B. Mahr. - Berlin ; New York : Springer-Verlag, c1985- - v.1 ill. ; - EATCS monographs on theoretical computer science ; v. 6, 21 .

V.1;- Equations and initial semantic

0387137181 (U.S. : v. 1)


Data structures (Computer science)
Algebra.

512.55 / EHR.1