Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Comparative metric semantics of programming languages: nondeterminism and recursion/ Franck van Breugel.
Series: Progress in theoretical computer sciencePublication details: Boston: c1998. Birkhäuser,Description: xix, 220 p.: ill.; 25 cmISBN:- 0817639276 (acid-free)
- 3764339276 (Basel)
- 005.13 B846c
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.13 B846c 1998 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000609407 |
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 |
|
|
||
| 005.12 G237f 2019 IMPA Formal verification of control system software/ | 005.12 H196e 1977 IMPA Elements of software science/ | 005.12 L935a 1981 IMPA Análise e síntese de programas : uma introdução/ | 005.13 B846c 1998 IMPA Comparative metric semantics of programming languages: nondeterminism and recursion/ | 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/ |
Includes bibliographical references (p. [201]-216) and indexes.
There are no comments on this title.