Artículos relacionados a Advances in Hardware Design and Verification (IFIP...

Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology) - Tapa dura

 
9780412813306: Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)

Sinopsis

CHARM ’97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

"Sobre este título" puede pertenecer a otra edición de este libro.