✓ Schweizer Online-Shop
image
Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch

Formal Verification

An Essential Toolkit for Modern VLSI Design

Produkt bewerten
Verlag:
Elsevier
Unsere-Artikel-Nr.: NL7ZV7K
EAN: 9780323956123
Erhältlich:
Nicht auf Lager
Zustellung: Di, 03.02.2026
Versand: Kostenlos
-17.6 %
CHF 146.–
CHF 120.27
Beschreibung
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. Formal Verification ...
Spezifikationen
Sprache
  • Englisch
Autor
  • Erik Seligman
  • Tom Schubert
  • M. V. Achutha Kiran Kumar
Erscheinungsjahr
  • 2023
Format
  • Buch (Softcover)
Anzahl Seiten
  • 424