Practical Formal Methods with Vdm
Practical Formal Methods with Vdm
Regular price
Checking stock...
Regular price
Checking stock...
Résumé
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 the UK
- Supporting authors with AuthorSHARE
- 100% recyclable packaging
- B Corp - kinder to people and planet
- Buy-back with World of Books - Sell Your Books
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 | Non disponible |
| ISBN 13 | 9780077072148 |
| ISBN 10 | 0077072146 |
| Titre | Practical Formal Methods with Vdm |
| Auteur | Derek Andrews |
| État | Non disponible |
| Type de reliure | Paperback |
| Éditeur | McGraw-Hill Education - Europe |
| Année de publication | 1991-09-01 |
| Nombre de pages | 480 |
| Note de couverture | La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier. |
| Note | Non disponible |