| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA75.5.LEC FCT 12144 (Browse shelf) | 1 | Available | 0014217 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
| QA75.5.LEC FCT 12141 Axiomatising | QA75.5.LEC FCT 12142 Logics of programs | QA75.5.LEC FCT 12143 Program specification | QA75.5.LEC FCT 12144 An introduction to the PL/CV2 programming logic | QA75.5.LEC FCT 12145 Group-theoretic algorithms and graph isomorphism | QA75.5.LEC FCT 12146 International symposium on programming | QA75.5.LEC FCT 12147 An attribute grammar for the semantic analysis of ADA |
There are no comments for this item.