Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Fabio Somenzi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    27.06.2003

    The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms

    Logic Synthesis and Verification Algorithms

    Fabio Somenzi
    Springer US, Springer New York
    18.03.2013

    Logic Synthesis and Verification Algorithms is a textbookdesigned for courses on VLSI Logic Synth...

    Taschenbuch
    90,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for Large Scale Model Checking

    Abstraction Refinement for Large Scale Model Checking

    Chao Wang
    Springer US, Springer US
    06.12.2014

    Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

    Taschenbuch
    119,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms

    Logic Synthesis and Verification Algorithms

    Gary D. Hachtel
    Springer, Berlin, Springer US, Springer

    Logic Synthesis and Verification Algorithms is a textbookdesigned for courses on VLSI Logic Synth...

    Gebunden
    96,29 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms

    Logic Synthesis and Verification Algorithms

    Gary D. Hachtel
    Springer, Berlin

    This book blends mathematical foundations and algorithmic developments with circuit design issues...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 86,00 €

    Jetzt 80,24 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for Large Scale Model Checking

    Abstraction Refinement for Large Scale Model Checking

    Chao Wang
    Springer Us
    20.07.2006

    Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

    Gebunden
    106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1