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 |
There are no comments on this title.