Verifiable Programming by Ole-Johan Dahl
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.-
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
-
The Craft of Programming
-
Systematic Software Development Using V. D. M.
-
System Development
-
Occam 2 Reference Manual
| SKU | Unavailable |
| ISBN 13 | 9780139510625 |
| ISBN 10 | 0139510621 |
| Title | Verifiable Programming |
| Author | Ole-Johan Dahl |
| Series | Prentice Hall International Series In Computing Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Pearson Education Limited |
| Year published | 1992-02-01 |
| Number of pages | 280 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |