Practical Formal Methods with Vdm
Practical Formal Methods with Vdm
Regular price
Checking stock...
Regular price
Checking stock...
Zusammenfassung
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 | Nicht verfügbar |
| ISBN 13 | 9780077072148 |
| ISBN 10 | 0077072146 |
| Titel | Practical Formal Methods with Vdm |
| Autor | Derek Andrews |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | McGraw-Hill Education - Europe |
| Erscheinungsjahr | 1991-09-01 |
| Seitenanzahl | 480 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |