Object oriented verifiable modeling environment (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2003Edition: Description: vii,52 p; 30 cmISBN: Subject(s): Sivakumar, G. and Moudgalya, Kannan M | Theses and Dissertations | Objected oriented programming (Computer science)-Verification , Object oriented programming(Computer science)-Mathematical modelsItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.3.06:519.28Rap | Not for loan | D02B19 | 199042 |
Total holds: 0
There are no comments on this title.