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 |
Utgitt | Oslo : Insitutt for Informatikk, Universitetet i Oslo , 1990
|
---|---|
Omfang | 1 b. (flere pag.)
|
Emner |