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

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

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 Saksa  
Toimittaja Kropf, Thomas

Lisää tuotteita Thomas Kropf

Näytä kaikki

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