Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA76.6.MAN FCT 23502 (Browse shelf) | 1 | Available | 0014656 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
No cover image available | ||||||||
QA76.6.LOG FCT 31414 Logic programming | QA76.6.MAD FCT 21655 Operating systems | QA76.6.MAN FCT 21135 The temporal logic of reactive and concurrent systems | QA76.6.MAN FCT 23502 The deductive foundations of computer programming | QA76.6.MAN FCT 26383 The X Window system | QA76.6.MAN FCT 34889 Predicate transformer semantics | QA76.6.MAT FCT 20847 Concorrência em microcomputadores |
There are no comments for this item.