| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.0151135 MIT (Browse shelf) | Available | 033962 |
| 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 SIM Theory of formal languages with applications | 004.015113 TAY Models of Computation and Formal Languages | 004.0151135 MIT Verifying cyber-physical systems : a path to safe autonomy | 004.0151257 HIL Foundations of geometric algebra computing | 004.01513 ERC Digital arithmetic | 004.01513 FLY Advanced computer arithmetic design |
Includes bibliographical references and index.
A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems
There are no comments for this item.