Algebraic specifications of nondeterminism
Michał Walicki
Bok Engelsk 1993
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Bergen : University of Bergen, Department of Informatics , 1993
|
|---|---|
| Omfang | 191 s.
|
| Opplysninger | Avhandling (dr.scient.) - Universitetet i Bergen, 1993
|
| Emner | Algebraisk spesifikasjon
Algebraisk spesifikasjon((NO-TrBIB)REAL011385) matematisk logikk programmering semantikk |
| Dewey |
