Object-oriented specification case studies / edited by K. Lano and H. Haughton.
Contributor(s): Lano, K
| Haughton, H
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00013454 |
Total holds: 0
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques.
Includes bibliographical references (p. 222-232) and index..