Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Formal verification of control system software/ Pierre-Loïic Garoche.
Series: Princeton series in applied mathematicsPublisher: Princeton, New Jersey: Princeton University Press, [2019]Description: viii, 219 pages: illustrations; 24 cmISBN:- 9780691181301
- 0691181306
- 005.12 G237f
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.12 G237f 2019 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000800003 |
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 |
|
||
| 005.113 W226m 1994 IMPA Making TEX work/ | 005.118 D575v 2005 IMPA Visual culture: the study of the visual after the cultural turn/ | 005.118 Z63v 2007 IMPA Visual languages and applications/ | 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/ |
There are no comments on this title.