000 00654nam a2200241Ia 4500
005 20260121113045.0
008 10966 260114s9999 xx 000 0 eng d
020 _a9789814343459
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aArnold A Et Al
_9967554
245 0 _aConstruction and Analysis of Transition Systems with Mec
260 _bWorld Scientific
260 _bWSPC
260 _c1994
650 _aComputer Science
_9967555
856 _uhttps://www.worldscientific.com/worldscibooks/10.1142/2505#t=toc
942 _cEBOOK
999 _c1548266
_d1548266