Dahl, Ole Johan books & textbook
Structured Programming
Edsger Wybe Dijkstra C. A. R. Hoare Ole-Johan Dahl
Academic Press /1972-02-11 Hardcover / 418 Pages
isbn-10: 0122005503 / isbn-13: 9780122005503
Verifiable Programming (Prentice-hall International Series in Computer Science)
Prentice Hall /1992T Paperback / 280 Pages
isbn-10: 0139510621 / isbn-13: 9780139510625
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... (Lecture Notes in Computer Science, 1130)
Haveraaen, Magne Owe, Olaf Dahl, Ole-Johan
Springer /1996-09-04 Paperback / 568 Pages
isbn-10: 3540616292 / isbn-13: 9783540616290
