Author Results for Dahl Ole-Johan, 1931-

Dahl,Ole-Johan
Dahl,Ole-Johan,
Owe,Olaf
Dijkstra,Edsger Wybe
Haveraaen,Magne
see all »
Hoare,C. A. R
Krogdahl,Stein
Lyche,Tom
Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
Ole-Johan Dahl

1
Verifiable programming

Cover is for reference only
Main Authors: Dahl Ole-Johan 1931-
Published: Prentice Hall,
Publication Dates: 1992.
Book
Save to List
Saved in:
3
Structured programming

Cover is for reference only
Main Authors: Dahl Ole-Johan 1931-
Group Author: Hoare C. A. R; Dijkstra Edsger Wybe
Published: Academic Press,
Publication Dates: 1972.
Call Number: T847/CD131
Book
Save to List
Saved in:
4
From object-orientation to formal methods essays in memory of Ole-Johan Dahl

Cover is for reference only
Group Author: Dahl Ole-Johan, 1931-; Owe Olaf.; Krogdahl Stein.; Lyche Tom.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.11/F931
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —