Calculii for algebraic specifications of nondeterminism : three completeness results
Michał Walicki
Bok Engelsk 1992
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Bergen : Department of Informatics, University of Bergen , 1992
|
|---|---|
| Omfang | 58 s.
|
| Emner |
