Programming logics : an introduction to verification and semantics

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	New York : Wiley , c1989
Omfang	xvii, 334 s. : ill.
Emner	Computer programs - Verification Programming languages (Electronic computers) - Semantics Datamaskinprogrammer - Prøving programmering prøving verifikasjon
ISBN	0471605395

Biblioteksøk