Formal viewpoint specification of open distributed systems
Einar Broch Johnsen
Bok Engelsk 2002
Utgitt | [Oslo] : Faculty of Mathematics and Natural Sciences, University of Oslo : Unipub , 2002
|
---|---|
Omfang | XII, 198 s. : fig.
|
Opplysninger | Avhandling (dr. scient.) - Universitetet i Oslo, 2002
|
Emner | Distribuerte systemer
Spesifikasjon Åpne systemer Distribuerte systemer((NO-TrBIB)REAL003034) Vis mer... Spesifikasjon((NO-TrBIB)REAL004339)
Åpne systemer((NO-TrBIB)REAL004938) doktoravhandlinger computer science informatikk observable behavior ADAPT-FT open distributed system platform spesifikasjon s-språk |
Dewey |