Bokus

Tom Schubert – författare

Visar alla böcker från författaren Tom Schubert. Handla med fri frakt och snabb leverans.

3 produkter

  1. M .V. Achutha Kiran Kumar, Tom Schubert, Erik Seligman - Formal Verification, E-bok. Tillgänglighet: Lägg i varukorg

    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 …

  2. Erik Seligman, Tom Schubert, M .V. Achutha Kiran Kumar - Formal Verification, Häftad. Tillgänglighet: Lägg i varukorg

    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 …

  3. M .V. Achutha Kiran Kumar, Tom Schubert, Erik Seligman - Formal Verification, E-bok. Tillgänglighet: Lägg i varukorg

    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 …