,

Advances in Hardware Design and Verification

Specificaties
Gebonden, 314 blz. | Engels
Springer US | 1997e druk, 1997
ISBN13: 9780412813306
Rubricering
Springer US 1997e druk, 1997 9780412813306
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9780412813306
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:314
Uitgever:Springer US
Druk:1997

Rubrieken

    Personen

      Trefwoorden

        Advances in Hardware Design and Verification