Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Logic in computer science/ editor, Zoran Ognjanovic.
Series: Zbornik radova (Srpska akademija nauka) ; knj. 12 (20).Publication details: Beograd: Matematicki Institut SANU, 2009.Description: 215 p.: ill.; 25 cmISBN:- 9788680593401
- 8680593400
- 005.131 L832
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.131 L832 2009 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000664741 |
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.13 C666p 1970 IMPA Programming languages and their compilers: preliminary notes/ | 005.13 K19m 2003 IMPA MATLAB guide to finite elements: an interactive approach/ | 005.131 H979l 2004 IMPA Logic in computer science: modelling and reasoning about systems/ | 005.131 L832 2009 IMPA Logic in computer science/ | 005.133 A141s 1996 IMPA Structure and interpretation of computer programs/ | 005.133 A159p 1979 IMPA The PL/1 programming language/ | 005.133 A284d 1987 IMPA Diseno de ambientes centrados en lenguajes. |
There are no comments on this title.