Practical Formal Methods with Vdm
Practical Formal Methods with Vdm
Regular price
Checking stock...
Regular price
Checking stock...
The feel-good place to buy books
- Free UK delivery over £5
- 10% off preloved books when you join +Plus
- Buying preloved emits 46% less CO2 than new
- Give your books a new home - sell them back to us!
Practical Formal Methods with Vdm by Derek Andrews
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.| SKU | Unavailable |
| ISBN 13 | 9780077072148 |
| ISBN 10 | 0077072146 |
| Title | Practical Formal Methods with Vdm |
| Author | Derek Andrews |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | McGraw-Hill Education - Europe |
| Year published | 1991-09-01 |
| Number of pages | 480 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |