Incremental reasoning about distributed object-oriented systems
Johan Dovland
Bok Engelsk 2009
Utgitt | [Oslo] : [Department of Informatics], Faculty of Mathematics and Natural Sciences, University of Oslo : Unipub , 2009
|
---|---|
Omfang | X, 190 s. : ill.
|
Opplysninger | Avhandling (ph.d.) - Universitetet i Oslo, 2009
|
Emner | Analyse
Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Modellering Vis mer... Analyse((NO-TrBIB)REAL000136)
Informatikk((NO-TrBIB)REAL000964) Modellering((NO-TrBIB)REAL004126) doktoravhandlinger informatikk presis modellering analyse |
Dewey |