search for books and compare prices
Ole-Johan Dahl has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Paperback:
9783540616290 | Springer Verlag, December 1, 1996, cover price $139.00
Product Description: 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.
Paperback:
9780139510625 | Prentice Hall, June 1, 1992, cover price $39.00 | About this edition: This work on programming is aimed at those who know how very difficult a task it is.
Hardcover:
9780122005503 | Academic Pr, June 1, 1972, cover price $65.00 | About this edition: Details the use of practical programming techniques and abstract, theoretical data processing concepts in structured computer systems
displaying 1 to 3 |
at end