Export Mendeley
＜Book＞
Formal verification of control system software
| Responsibility | Pierre-Loïc Garoche |
|---|---|
| Series | Princeton series in applied mathematics |
| Material Type | Book |
| Publisher | Princeton : Princeton University Press |
| Year | c2019 |
| Language | English |
| Size | viii, 219 p. : ill. ; 25 cm |
Holdings
| Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
SciTech 3F Mathematical Books | GARO/5/1 | 2019 |
|
130012019003852 |
|
Bibliographic details
| Notes | Includes bibliographical references (p. [201]-216) and index |
|---|---|
| Authors | Garoche, Pierre-Loïc |
| ID | 1001677353 |
| ISBN | 9780691181301 |
| NCID | BB28307485 |
| Vol | ISBN:9780691181301 |
| Created Date | 2019.06.14 |
| Modified Date | 2019.06.14 |