000 00689nam a2200241Ia 4500
005 20260121111908.0
008 1685 260114s9999 xx 000 0 eng d
020 _a9789814440813
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aEhrig Hartmut Et Al
_9948993
245 0 _aAlgebraic Specification Techniques and Tools for Software Development: the Act Approach
260 _bWorld Scientific
260 _bWSPC
260 _c1993
650 _aComputer Science
_9948994
856 _uhttps://www.worldscientific.com/worldscibooks/10.1142/1877#t=toc
942 _cEBOOK
999 _c1538985
_d1538985