Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27 sierpnia 1997
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 19 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 27 sierpnia 1997
ISBN13 9783540634751
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 388
Wymiary 155 × 233 × 22 mm   ·   494 g
Język Niemiecki  
Redaktor Kropf, Thomas

Więcej od Thomas Kropf

Pokaż wszystko

Zobacz wszystko od Thomas Kropf ( np. Hardcover Book , Book i Paperback Book )