Formelle metoder for verifisering av digitale konstruksjoner : state of the art

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	Trondheim : SINTEF DELAB , 1993
Omfang	III, 41 bl. : fig.
Opplysninger	Elektronisk reproduksjon
Emner	Digitale kretser - Prøving integrerte kretser prøving
ISBN	8259579472

Biblioteksøk