Treffliste - Johnsen, Einar Broch - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

7 treff

Sortering

A formal model of object mobiblity in resource-restricted deployment scenarios

Johnsen, Einar Broch
Engelsk 2012
Artikkel Vis mer

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

Ledig 1/1

Formal viewpoint specification of open distributed systems

Johnsen, Einar Broch
Inngår i serie: Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (no. 232)
Bok Engelsk 2002

Ledig 1/1

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

Morstad, Marius
Inngår i serie: Temahefte i idrett for forsvaret (21)
Bok Bokmål 1998 · Les på nett

Ledig 3/3

Structured formal development in Isabelle

Maksym Bortin
Engelsk
Artikkel Vis mer

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