000 00724nam-a2200193---4500
001 228818
005 20200804143649.0
090 _a228818
100 _a20030207d2000 k y0pory5003 ba
101 0 _aeng
102 _aPT
200 1 _aComponents as coalgebras
_ecomposition and refinement
_fLuís Manuel Soares Barbosa
210 _aGuimarães
_cUniversidade do Minho
_d2000
215 _aIV, 155 p.
_cil.
_d30 cm
328 _aDissertação: Doutor em Informática, ramo Ciências da Computação, Universidade do Minho
675 _a681.3
_vint
_zeng
700 1 _aBarbosa,
_bL. S.
_g(Luís)
942 _cLIVRO
_n0