000 00700nam a2200289Ia 4500
005 20260324115745.0
008 008 260324s9999 xx 000 0 eng d
020 _a9780429075681
037 _aEBOOK
040 _aCRL
040 _beng
040 _cCRL
041 _2eng
041 _aeng
084 _qCRL
100 _aEmil Sekerinski; Luigia Petre
_91155898
245 0 _aFrom Action Systems to Distributed Systems
245 4 _bThe Refinement Approach
260 _bTaylor and Francis
260 _c2016
365 _a
365 _b340
856 _uhttp://www.taylorfrancis.com/books/9780429075681
942 _cEBOOK
999 _c1747004
_d1747004