Mechanizing proof : computing, risk, and trust

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	Cambridge, Mass. : MIT Press , c2001
Omfang	XI, 427 s. : ill.
Emner	Datamaskiner og samfunn Datamaskiner - Pålitelighet datamaskiner pålitelighet risiko datasystemer samfunnsmessige perspektiver
Dewey	004.21
ISBN	0262133938

Biblioteksøk