Formal methods and software engineering : Jim Davies, Wolfram Schulte, Mike Barnett (eds.). 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Material type: TextSeries: Lecture notes in computer science ; 3308Publication details: Springer, New York : 2004Edition: 1st edDescription: xiii, 500 p. : ill. ; 24 cmISBN:- 3540238417 (softcover : alk. paper)
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Goa University Library MCA Book Bank | 005.1 DAV/For (Browse shelf(Opens below)) | Available | 119638 |
Browsing Goa University Library shelves, Shelving location: MCA Book Bank Close shelf browser (Hides shelf browser)
005.1 COR/Int Introduction to Algorithms | 005.1 COR/Int Introduction to Algorithms | 005.1 CRN/Com Component-Based Software Engineering | 005.1 DAV/For Formal methods and software engineering : | 005.1 EVA/Dom Domain-Driven Design | 005.1 FEL/How How to design programs : | 005.1 FER/Moo Moodle 1.9 Multimedia |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.