 | | |
|
| |
| | |
| Ole-Johan Dahl |
|
Verifiable Programming (Prentice-Hall International Series in Computer Science) | 0 |
| |
| | |
| Books Group |
|
University of Oslo alumni: Ole-Johan Dahl, Niels Henrik Abel, Atle Selberg, Kristen Nygaard, Harrison Schmitt, Harald V of Norway, Sophus Lie | 0 |
|
|
People From Mandal: Ole-Johan Dahl, Søren Jaabæk, Amaldus Nielsen, Honoratus Bonnevie, Andreas Bonnevie, Aud Marit Wiig, Bjørn Slettan | 0 |
| Olaf Owe |
|
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science) | 0 |
|
|
Personnalité Norvégienne En Informatique: Håkon Wium Lie, Kristen Nygaard, Ole-Johan Dahl, Fredrik Rosing Bull, Lars Magne Ingebrigtsen (French Edition) | 0 |
| Books LLC |
|
Formal Methods People: Edsger W. Dijkstra, Niklaus Wirth, Ole-Johan Dahl, C. A. R. Hoare, Robin Milner, Andrew D. Gordon, Dana Scott | 0 |
| Books LLC |
|
University of Oslo Faculty: Ole-Johan Dahl, Kristen Nygaard, Fridtjof Nansen, Ragnar Frisch, Viggo Brun, Per Kværne, Bernt Michael Holmboe | 0 |
|
| | |
| | | |
