Practical Formal Methods with Vdm
Practical Formal Methods with Vdm
Regular price
Checking stock...
Regular price
Checking stock...
Summary
Reflects the increased amount of emphasis placed on the mathematical methods of software development in under-graduate computer science courses. The VDM notation is described in detail, with each chapter starting with an overview/motivation section.
The feel-good place to buy books
- Free delivery in Ireland
- Supporting authors with AuthorSHARE
- 100% recyclable packaging
- Proud to be a B Corp – A Business for good
- Buy-back with Ziffit
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 |