Systematic Software Development Using V. D. M. by Cliff B Jones
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.-
Object-oriented Software Construction
-
An Introduction to Functional Programming
-
Functional Programming Using Standard Machine Language
-
Implementing Functional Languages
-
Introduction to Modula-2
-
Mathematical Logic and Programming Languages
-
Essays in Computer Science
-
Verifiable Programming
-
The Craft of Programming
-
System Development
-
Occam 2 Reference Manual
| SKU | Unavailable |
| ISBN 13 | 9780138807337 |
| ISBN 10 | 0138807337 |
| Title | Systematic Software Development Using V. D. M. |
| Author | Cliff B Jones |
| Series | Prentice Hall International Series In Computing Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Pearson Education Limited |
| Year published | 1990-01-01 |
| Number of pages | 350 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |