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


by Reiji Nakajima
Bok Engelsk 1977
Flere språk: Bokmål
Utgitt
Oslo : Universitetet i Oslo, Inst.for informatikk , 1977
Omfang
19 bl.
Dewey
ISBN
8290230133

Bibliotek som har denne