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.
- ISBN10 0130970158
- ISBN13 9780130970152
- Publish Date 1 October 1993
- Publish Status Out of Print
- Out of Print 25 October 2000
- Publish Country GB
- Imprint Pearson Education Limited
- Format Paperback
- Pages 272
- Language English