000 00703cam a2200205 a 4500
008 850305m19859999wb a b 001 0 eng
020 _a0387137181 (U.S. : v. 1)
080 _a512.55
_bEHR.1
100 1 _aEhrig, Hartmut.
_93317
245 1 0 _aFundamentals of algebraic specification V.1
_cH. Ehrig, B. Mahr.
260 _aBerlin ;
_aNew York :
_bSpringer-Verlag,
_cc1985-<c1990 >
300 _av.1
_bill. ;
490 1 _aEATCS monographs on theoretical computer science ;
_vv. 6, 21
500 _aV.1;- Equations and initial semantic
650 0 _aData structures (Computer science)
_92777
650 0 _aAlgebra.
700 1 _aEhrig, Hartmut.
_93318
700 1 _aMahr, B.
_93319
942 _cBK
999 _c162297
_d162297