CESC : a scenario based language for specification and verification of reactive systems (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2008Edition: Description: iv,38 p; 30 cmISBN: Subject(s): Krishna S | Theses and Dissertations | Electronic data processing-Distributed processing , Distributed systems , Visual programming languages(Computer science)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.327.8:681.3.06Jos | Not for loan | D02B23 | 218673 |
Total holds: 0
There are no comments on this title.