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

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


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 distribuerte systemer
Dewey	005.11

Biblioteksøk