Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 - detaljert visning

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	Berlin : Springer , c1995
Omfang	X, 450 s. : ill.
Emner	Datamaskinprogrammer - Prøving Datastøttet kvalitetskontroll Maskinvare Programvare Vis mer... Verifikasjon matematisk logikk automatisk bevisføring
ISBN	0387600450. - 3540600450

Biblioteksøk