Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - keskiviikko 27. elokuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Thomas Kropf

Hinta
R 1.086,80

Tilattu etävarastosta

Arvioitu toimitus ke - to 10. - 18. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 27. elokuuta 1997
ISBN13 9783540634751
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 388
Mitta 155 × 233 × 22 mm   ·   494 g
Kieli German  
Toimittaja Kropf, Thomas
Näytä kaikki

Lisää tuotteita Thomas Kropf

Katso kaikki joka sisältää Thomas Kropf ( Esim. Hardcover Book , Paperback Book Ja Book )