Modellering av operatørprosedyrer
Chuong Hung Nguyen
Bok Bokmål 2000
| Utgitt | Oslo : C.H. Nguyen , 2000
|
|---|---|
| Omfang | 116 s. : ill.
|
| Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2000
|
| Emner | Databehandling
Prosesskontroll Prosesstyring : (NO-TrBIB)REAL005436 hovedoppgaver informatikk prola promela spin spesifikasjon objektorintering ife java trestruktur nettverkstruktur sekvensiell struktur formell |
