Tracesemantikk i PVS
Thomas Wold Hansen
Bok Bokmål 2000
Utgitt | Oslo : T.W. Hansen , 2000
|
---|---|
Omfang | 95 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2000
|
Emner | Databehandling
Distribuerte systemer Spesifikasjonsspråk hovedoppgaver informatikk sekvensbibliotek sekvenser monitor meldings system fairness uendelige |