On the synthesis of reliable programs/ by Carlos José Pereira de Lucena.
Series: Computer languages groupPublication details: 1975.Description: xiii, 228 leaves: ill.; 28 cmSubject(s): DDC classification:- 005 L935o
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005 L935s 1975 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000161714 |
Includes vita and abstract.
Photocopy available from Xerox University Microfilms.
Thesis (Ph. D.)--UCLA--Computer Science.
Bibliography: leaves 206-211.
There are no comments on this title.