000 00888nam-a2200241---4500
001 192639
005 20200804135342.0
010 _a3-540-64781-3
_b(Brochado)
090 _a192639
100 _a20000203d1998 k y0pory5003 ba
101 0 _aeng
102 _aDE
200 1 _aAutomata, languages and programming
_fed. Kim G. Larsen, Sven Skyum, Glynn Winskel
210 _aBerlin
_cSpringer
_dcop. 1998
215 _aXVI, 932 p.
_d24 cm
225 2 _aLecture notes in computer science
_v1443)
675 _a519.68
_vint
_zeng
702 1 _9100075
_aLarsen,
_bKim G.
_4340
702 1 _9166631
_aSkyum,
_bSven
_4340
702 1 _9190438
_aWinskel,
_bGlynn
_4340
712 1 2 _aInternational Colloquium on Automata, Languages and Programming,
_d25,
_eAalborg,
_f1998
_4070
942 _cLIVRO
_n0