Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r
- ISBN10 0131160885
- ISBN13 9780131160880
- Publish Date 1 March 1990
- Publish Status Out of Print
- Out of Print 8 February 2010
- Publish Country GB
- Imprint Pearson Education Limited
- Format Paperback
- Pages 416
- Language English