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 |