Program specification and verification techniques : kap. 1 og kap. 2

Ole-Johan Dahl
Bok · Engelsk · 1990

Utgitt	Oslo : Insitutt for Informatikk, Universitetet i Oslo , 1990
Omfang	1 b. (flere pag.)
Emner	Programspesifikasjon Programverifikasjon