Formal Methods for Increasing Software Productivity(2001) FME 2001, Inrenational Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. edited by Jose Nuno Oliveira and Pamela Zave
Contributor(s): Oliveira, Jose Nuno | Zave, Pamela.
Publisher: Berlin Springer 2001Description: xiii, 628 p. ill. 23 cm.ISBN: 9783540417910.Subject(s): Computer software -- Development -- CongressesItem type | Current location | Collection | Call number | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|
Book (red spot) | IUKL Library Open shelves | Purchase | QA76.76 Int (Browse shelf) | 1 | Not For Loan | ||
Book | IUKL Library Open shelves | Purchase | QA76.76 Int (Browse shelf) | 2 | Available |
Total holds: 0
Browsing IUKL Library Shelves , Shelving location: Open shelves Close shelf browser
QA76.76 Hud Red Hat Fedora 4 unleashed. | QA76.76 Hug Software project management / | QA76.76 Hug Software project management / | QA76.76 Int Formal Methods for Increasing Software Productivity(2001) | QA76.76 Int Formal Methods for Increasing Software Productivity(2001) | QA76.76 Isk Developing website using HTML : step-by-step. | QA76.76 Jal Software project management in practice / |
Include index
Dept. of Computer Science Diploma in Information Technology
Bachelor of Computer Science (Hons)
There are no comments for this item.