| 000 | 01163nlm-a2200253---4500 | ||
|---|---|---|---|
| 001 | 304789 | ||
| 005 | 20200804160823.0 | ||
| 090 | _a304789 | ||
| 100 | _a20130515d2010 k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aPT | ||
| 200 | 1 |
_aTowards a formally verified microkernel using the VCC verifier _bDocumento eletrónico _fJoaquim José e Silva de Carvalho Tojal _gorient. Simão Melo de Sousa, José Miguel Faria |
|
| 210 |
_aCovilhã _c[s.n.] _d2010 |
||
| 215 |
_a1 disco ótico (CD-ROM) _cil. _dem caixa 13x14x1 cm |
||
| 304 | _aTítulo retirado do ecrã de título | ||
| 328 | 0 |
_bDissertação mestrado _cComputer Science _eDepartamento de Ciências de Computação da Universidade da Beira Interior _d2010 |
|
| 675 |
_a681.3 _vint _zeng |
||
| 700 | 1 |
_aTojal, _bJoaquim José e Silva de Carvalho |
|
| 702 | 1 |
_9257840 _aSousa, _bSimão Melo de _4727 |
|
| 702 | 1 |
_9257841 _aFaria, _bJosé Miguel _4727 |
|
| 712 | 0 | 2 |
_aUniversidade da Beira Interior. _bDepartamento de Ciências de Computação _4295 |
| 801 | 0 |
_aPT _bUMSD _c20130515 _gRPC |
|
| 942 |
_cCOMPU _n0 |
||