Sype, class of types or partial types, for program specification structuring, and their formalizatio - detaljert visning

Sype, class of types or partial types, for program specification structuring, and their formalization a first order logic

Reiji Nakajima
Bok Engelsk 1977
Flere språk: Bokmål


Utgitt	Oslo : Universitetet i Oslo, Inst.for informatikk , 1977
Omfang	19 bl.
Dewey	519.4
ISBN	8290230133