Can program proving be made practical?

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Oslo : Universitetet i Oslo, Inst.for informatikk , 1978
Omfang	57 bl. : ill.
Opplysninger	"Lectures presented at the EEC-CREST course on programming foundations, Toulouse 1977 (revised May 1978)."
Dewey	519.4
ISBN	8290230265

Biblioteksøk