Advancements in runtime enforcement frameworks : finite memory, compositional approaches and practical applications / by Saumya Shankar.
Material type: TextLanguage: English Publication details: Bhubaneswar : IIT Bhubaneswar, 2024.Description: xxii, 161 p. : ill. ; 28 cmSubject(s): DDC classification:- 004.2 SHA/A
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
PhD Thesis | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 004.2 SHA/A (Browse shelf(Opens below)) | Not for loan | PHD295 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.