Treffliste - Owe, Olaf - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

13 treff

Sortering

Minnetale over professor Ole-Johan Dahl : holdt i Den matematisk-naturvitenskapelige klasses møte den 13. februar 2003

Olaf Owe
Bokmål
Artikkel Vis mer

A bibliography of Ole-Johan Dahl

Owe, Olaf
Engelsk c2004
Artikkel Vis mer

A biography of Ole-Johan Dahl

Owe, Olaf
Engelsk c2004
Artikkel Vis mer

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl

Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Inngår i serie: Lecture notes in computer science (2635)
Bok Engelsk cop. 2004

Formal system development using method integration : a case study

Demissie Bediye Aredo
Inngår i serie: Report / Norsk regnesentral (no. 1002)
Bok Engelsk 2004

Composition and refinement for partial object specifications (full version)

Johnsen, Einar Broch
Inngår i serie: Research report / University of Oslo, Department of Informatics (301)
Bok Engelsk 2002

Object-oriented specification and open distributed systems

Johnsen, Einar Broch
Engelsk c2004
Artikkel Vis mer

A proof environment for partial specifications in OUN

Johnsen, Einar Broch
Språk ikke angitt c2001
Artikkel Vis mer

Formal methods and the RM-ODP

Dahl, Ole-Johan
Inngår i serie: Research report / University of Oslo, Department of Informatics (261)
Bok Engelsk 1998 · Les på nett

Subtyping and constructive specification

Dahl, Ole-Johan
Inngår i serie: Research report / University of Oslo, Department of Informatics (228)
Bok Engelsk 1996 · Les på nett

Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996

Nordic Workshop on Programming Theory
Inngår i serie: Research report / University of Oslo, Department of Informatics (248)
Bok Engelsk 1997 · Les på nett

Generator induction in order sorted algebras

Dahl, Ole-Johan
Inngår i serie: Research report / Department of Informatics, University of Oslo (122)
Bok Engelsk 1989

On the use of subtypes in ABEL

Dahl, Ole-Johan
Inngår i serie: Research report / University of Oslo, Department of Informatics (206)
Bok Engelsk 1995 · Les på nett

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk