Verification techniques for system-level design

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Fujita, Masahiro, 1956-
Searvvušdahkki: ebrary, Inc
Eará dahkkit: Ghosh, Indradeep, 1970-, Prasad, Mukul
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
Ráidu:Morgan Kaufmann series in systems on silicon.
Fáttát:
Liŋkkat:An electronic book accessible through the World Wide Web; click to view
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Govvádus
Olgguldas hápmi:viii, 240 p. : ill.
Bibliografiija:Includes bibliographical references and index.