Browse
FAQ

Author

Ole-Johan Dahl

8 books found

Cover of From object-orientation to formal methods

From object-orientation to formal methods

Ole-Johan Dahl, Olaf Owe, Tom Lyche · First published 2004

Cover of Verifiable programming

Verifiable programming

Ole-Johan Dahl · First published 1992

Placeholder cover for Hierarchical program structures

Hierarchical program structures

Ole-Johan Dahl · First published 1972

Cover of Structured programming

Structured programming

Ole-Johan Dahl · First published 1972

Cover of Syntaks og semantikk i programmeringsspraak

Syntaks og semantikk i programmeringsspraak

Ole-Johan Dahl · First published 1972

Placeholder cover for Common base language

Common base language

Ole-Johan Dahl · First published 1970

Placeholder cover for Discrete event simulation languages

Discrete event simulation languages

Ole-Johan Dahl · First published 1966

Cover of SIMULA

Simula

Ole-Johan Dahl · First published 1966