Formal development of open distributed systems : integration of UML and PVS

by Demissie Bediye Aredo
Bok · Engelsk · 2005

Utgitt	[Oslo] : Faculty of Mathematics and Natural Sciences, University of Oslo : Unipub , 2005
Omfang	VIII, 246 s. : ill.
Opplysninger	Delvis opptrykk av artikler. - Avhandling (dr. scient.) - Universitetet i Oslo, 2005
Emner	Distribuerte systemer Semantisk analyse Systemer Unified modeling language Vis mer... Distribuerte systemer((NO-TrBIB)REAL003034) Semantisk analyse((NO-TrBIB)REAL009708) Systemer((NO-TrBIB)REAL013191) Unified Modeling Language((NO-TrBIB)REAL002676) distribuerte systemer
Dewey	005.11