Calculii for algebraic specifications of nondeterminism : three completeness results

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Bergen : Department of Informatics, University of Bergen , 1992
Omfang	58 s.
Opplysninger	Elektronisk reproduksjon
Emner	Algebra - Databehandling matematikk programmering

Biblioteksøk