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 |