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 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
|
No cover image available | No cover image available | No cover image available |
|
||
| 005 K79m 1998 IMPA Motion picture restoration: digital algorithms for artefact suppression in degraded motion picture film and video/ | 005 K89s 1992 IMPA Solving geometric constraint systems: a case study in kinematics/ | 005 L614i 2012 IMPA An introduction to audio content analysis: applications in signal processing and music informatics/ | 005 L935s 1975 IMPA On the synthesis of reliable programs/ | 005 M184p 1990 IMPA Programming in mathematica. | 005 N948f 1961 IMPA Funcionamento, programação de computadores analógicos indiretos. | 005 P324r 1981 IMPA Robot manipulators: mathematics, programming, and control : the computer control of robot manipulators/ |
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.