Bokus

Erik Seligman – författare

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

6 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 …

  4. Erik Seligman, M .V. Achutha Kiran Kumar, Anshul Jain - Formal Verification Testbenches, Häftad. Tillgänglighet: Kommande

    Formal Verification Testbenches

    Using Patterns for Reusable and Repeatable VLSI Design Quality

    Av Erik Seligman, M .V. Achutha Kiran Kumar m. fl.

    Häftad, 2027

    1567 kr

    Kommande

    Formal Verification (FV) has become an essential technology in the verification of IP, core, or SOC design. The authors' previous book, “Formal Verification: An Essential Toolkit for Modern VLSI Design”, offered the definitive guide to design and validation, with advice to help working engineers …

  5. Erik Seligman - Math Mutation Classics, Häftad. Tillgänglighet: Lägg i varukorg

    Math Mutation Classics

    Exploring Interesting, Fun and Weird Corners of Mathematics

    Av Erik Seligman

    Häftad, 2016

    312 kr

    Lägg i varukorg

    Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on …

  6. Erik Seligman - Math Mutation Classics, E-bok. Tillgänglighet: Lägg i varukorg

    Math Mutation Classics

    Exploring Interesting, Fun and Weird Corners of Mathematics

    Av Erik Seligman

    E-bok, 2016

    408 kr

    Lägg i varukorg

    Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You''ll see how the author''s unique viewpoint puts a mathematical spin on …