Tom Schubert – författare
Visar alla böcker från författaren Tom Schubert. Handla med fri frakt och snabb leverans.
3 produkter
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av M .V. Achutha Kiran Kumar, Tom Schubert m. fl.
E-bok, 2015
1094 kr
Lägg i varukorg
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically …
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av Erik Seligman, Tom Schubert m. fl.
Häftad, 2023
1183 kr
Lägg i varukorg
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 (FV) enables a designer to directly analyze and …
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av M .V. Achutha Kiran Kumar, Tom Schubert m. fl.
E-bok, 2023
1680 kr
Lägg i varukorg
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 (FV) enables a designer to directly analyze and …