Formale Verifizierung: Ein wesentliches Toolkit für modernes VLSI-Design von Erik Seligma
151,37 €
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work.
Jetzt bei Ebay: