Formal verification of control system software
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780691181301
- 629.8 GAR / DST
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
IIT - Dharwad | Automatic Control Engineering | 629.8 GAR / DST (Browse shelf(Opens below)) | Checked out | 22/08/2025 | DST4919 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.