Proving abstract specifications to be valid for their program implementations


by Reiji Nakajima
Bok Engelsk 1977
Flere språk: Bokmål
Utgitt
Oslo : Universitetet i Oslo, Inst.for informatikk , 1977
Omfang
18,[1]bl. : ill.
Dewey
ISBN
8290230117

Bibliotek som har denne