000 00691nam a2200241Ia 4500
005 20260121113027.0
008 10713 260114s9999 xx 000 0 eng d
020 _a9781783263493
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aHankin C Et Al
_9967048
245 0 _aTheory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
260 _bICP
260 _bWorld Scientific
260 _c1995
650 _aComputer Science
_9967049
856 _uhttps://www.worldscientific.com/worldscibooks/10.1142/p003#t=toc
942 _cEBOOK
999 _c1548013
_d1548013