Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July - 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 , c1993
Omfang	IX, 422 s.
Emner	Computer software - Verification Congresses Electronic digital computers - Evaluation Congresses Datamaskinprogrammer - Kvalitetskontroll Datamaskinprogrammer - Prøving Vis mer... Datastøttet verifikasjon Integrerte kretser Nettverksprotokoller Programvare
ISBN	0387564969. - 3540564969

Biblioteksøk