Techiques for developing modular specifications in formal tropos (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2007Edition: Description: vi,93 p; 39 cmISBN: Subject(s): Joshi, Rushikesh K | Theses and Dissertations | Computer architecture , Computer software , Software engineering , Formal Tropos(Computer program language)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB | 043:681.3.06Sha | Not for loan | D02B22 | 213562 |
Total holds: 0
There are no comments on this title.