Formal Engineering for Industrial Software Development: using the SOFL method Shaoying Liu
Material type: TextPublication details: Berlin Springer Verlag 2004Description: xxii, 408pISBN: 3540206027Subject(s): Software Engineering | Object-oriented programming (Computer science) | Formal methods (Computer science) | Computer software -- DevelopmentDDC classification: 005.1 LIUItem type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
REFERENCE BOOK | LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.1 LIU (Browse shelf (Opens below)) | Copy 1 | Not for loan | 018581 |
Total holds: 0
There are no comments on this title.