Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf
68,59 €
By Thomas Kropf. Author Thomas Kropf. Edited by Thomas Kropf. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.
Jetzt bei Ebay:
