Desenvolvimento sistemático de programas corretos: a abordagem denotacional/ R. C. B. Martins.
Series: Escola de computação ; 6.Publication details: Campinas: Unicamp, 1988.Edition: [1st ed.]Description: 385 pSubject(s): DDC classification:- 005.133 M386d
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.133 M386d 1988 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000161920 |
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 No cover image available | No cover image available No cover image available |
|
|
||
| 005.133 L975l 2013 IMPA Learning Python/ | 005.133 M243p 1969 IMPA Programming: ALGOL/ | 005.133 M357m 1961 IMPA Manual de programação em unicode/ | 005.133 M386d 1988 IMPA Desenvolvimento sistemático de programas corretos: a abordagem denotacional/ | 005.133 M478g 1961 IMPA A guide to FORTRAN programming/ | 005.133 M478m 2004 IMPA Metaprogramming GPUs with Sh/ | 005.133 M498l 1999 IMPA Leda: a platform for combinatorial and geometric computing/ |
There are no comments on this title.