This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
- ISBN10 0077072146
- ISBN13 9780077072148
- Publish Date 1 September 1991
- Publish Status Out of Print
- Out of Print 4 November 2004
- Publish Country GB
- Publisher McGraw-Hill Education - Europe
- Imprint McGraw-Hill Publishing Co.
- Format Paperback
- Pages 480
- Language English