| 000 | 01061nam-a2200253---4500 | ||
|---|---|---|---|
| 001 | 299052 | ||
| 005 | 20221104134636.0 | ||
| 090 | _a299052 | ||
| 100 | _a20120629d2011 k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aPT | ||
| 200 | 1 |
_aVerification, slicing, and visualization of programs with contracts _bDocumento electrónico _fDaniela Carneiro da Cruz _gorient. Pedro Rangel Henriques, Jorge Sousa Pinto |
|
| 210 |
_aBraga _c[s.n.] _d2011 |
||
| 303 | _aDescrição baseada no documento electrónico | ||
| 328 | 0 |
_bTese doutoramento _cInformática (área de especialização em Ciências da Computação) _eEscola de Engenharia da Universidade do Minho _d2011 |
|
| 675 |
_a681.3.06 _vmed _zpor |
||
| 675 |
_a519.688 _vmed _zpor |
||
| 700 | 1 |
_aCruz, _bDaniela da |
|
| 702 | 1 |
_981248 _aHenriques, _bPedro Rangel _4727 |
|
| 702 | 1 |
_9139130 _aPinto, _bJorge Sousa, _f1969- _4727 |
|
| 712 | 0 | 2 |
_aUniversidade do Minho. _bEscola de Engenharia _4295 |
| 801 | 0 |
_aPT _bUMSD _c20070625 _gRPC |
|
| 856 | 4 |
_uhttp://hdl.handle.net/1822/19646 _zAcesso livre _4N |
|
| 942 |
_cLIVRO _n0 |
||