| Item type | Location | Call number | Copy | Status | Date due |
|---|---|---|---|---|---|
Livro |
IST - Biblioteca de Elect.Comp. e Inf. IST-Bib Electricidade | QA76.6.HAR.103948 (Browse shelf) | 1 | Available |
![]() |
![]() |
||||||
| QA76.6.G.95033Graph reduction : | QA76.6.HAI.94932Verifying concurrent processes using temporal logic | QA76.6.HAL.38417Microprocessors and interfacing | QA76.6.HAR.103948A concurrent Pascal compiler for minicomputers / | QA76.6.HAR.94930First-order dynamic logic / | QA76.6.HEH.32510The logic of programming / |
Click on an image to view it in the image viewer