000 00715nam-a2200217---4500
001 233752
005 20200804144241.0
010 _a0-387-98717-7
_bEncadernado
090 _a233752
100 _a20031029d2001 k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aModal and temporal properties of processes
_fColin Stirling
210 _aNew York
_cSpringer
_dcop. 2001
215 _aXII, 190 p.
_cil.
_d24 cm
225 2 _aTexts in computer science
675 _a510.6
_vint
_zeng
675 _a681.3.06
_vint
_zeng
700 1 _aStirling,
_bColin
942 _cLIVRO
_n0