| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | CIUL-404 FCT 84317 (Browse shelf) | 1 | Available | 84438 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
| No cover image available | ||||||||
| CIUL-396 FCT 84314 Intuitionism | CIUL-398 FCT 84315 Software development | CIUL-403 FCT 84316 Mathematical theory of program correctness | CIUL-404 FCT 84317 Structured design | CIUL-405 FCT 84318 A model for error detection and correction | CIUL-406 FCT 84319 Mechanism, mentalism and metamathematics | CIUL-407 FCT 84320 Studies in formal semantics |
There are no comments for this item.