Proving abstract specifications to be valid for their program implementations


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

Detaljer

Bibliotek som har denne