Formal Hardware Verification : Methods and Systems in Comparison /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Thomas Kropf (edición)
Formáid: LEABHAR
Teanga:Béarla
Foilsithe / Cruthaithe: Berlín, Alemania : Springer, 1997, c1997
Sraith:(Lecture Notes in Computer Science)
Rochtain ar líne:Ver documento en línea
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!