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 |
