👤

Ole-Johan Dahl

b. 1931 ยท 3 books

Books by Ole-Johan Dahl

From object-orientation to formal methods
From object-orientation to formal methods
2004
Verifiable programming
Verifiable programming
1992
Discrete event simulation lang
Discrete event simulation languages
1966