Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, - 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 , c2004
Omfang	XII, 536 s. : ill.
Emner	Datamaskiner Datastøttet verifikasjon Programvare - Verifisering
ISBN	3540223428

Biblioteksøk