Formal development of programs and proofs

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	Reading, Mass. : Addison-Wesley , c1990
Omfang	xiv, 242 s. : ill.
Emner	Electronic digital computers - Programming Congresses Programutvikling programutvikling bevisføring programmering edb
ISBN	0201172372

Biblioteksøk