| 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 12141 (Browse shelf) | 1 | Available | 0014214 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
| QA75.5.LEC FCT 12137 Alternating sequencial parallel processing | QA75.5.LEC FCT 12138 An analytical description of CHILL | QA75.5.LEC FCT 12140 Verifying concurrent processes using temporal logic | 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 |
There are no comments for this item.