000 00926cam a2200277 a 4500
001 000608211
003 AM-YeHGA
005 20250617135530.0
008 850305m19859999gw a b 001 0 eng d
020 _a0387137181 (U.S. : v. 1)
040 _aAM-YeHGA
041 0 _aeng
100 1 _aEhrig, Hartmut.
245 1 0 _aFundamentals of algebraic specification /
_cH. Ehrig, B. Mahr.
260 _aBerlin ;
_aNew York :
_bSpringer-Verlag,
_c1985-.
300 _av. :
_bill. ;
_c25 cm.
490 1 _aEATCS monographs on theoretical computer science ;
_vVol. 6
504 _aIncludes bibliographies and indexes.
505 1 _gVol. 1 (1985; xi, 321 p.) :
_tEquations and initial semantics
650 0 _aData structures (Computer science)
650 0 _aAlgebra.
700 1 _aMahr, Bernd
740 0 _aAlgebraic specification.
830 0 _aEATCS monographs on theoretical computer science ;
_vVol. 6
090 _c203794
999 _c202303
_d202303