Systematic software development using VDM / Cliff B. Jones
By: Jones, Cliff B.
Publisher: New york Prentice hall International (UK) Ltd n.dEdition: 2nd ed.Description: xiv, 333 p.ISBN: 9780138807337.Subject(s): Computer software - DevelopmentDDC classification: 005Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Engineering Library General Section | S | 005 JON (Browse shelf) | Available | 283555 |
Browsing Engineering Library Shelves , Shelving location: General Section , Collection code: S Close shelf browser
004.65 KUR Computer networking : a top-down approach | 005.133C++ MEY Effective C++ : 50 specific ways to improve your programs and designs | 005.133C++ MEY More effective C++ : 35 new ways to improve your programs and designs | 005 JON Systematic software development using VDM | 005 REA Elements of functional programming | 005.1 KNU The art of computer programming | 005.1 KNU The art of computer programming |
Includes bibliography and index.
There are no comments for this item.