Grid   List

  1. Computation Engineering
    -0 %

    Computation Engineering

    Ganesh Gopalakrishnan
    Springer US
    Ebook
    Sofort lieferbar

    It takes more e?ort to verify that digital system designs are correct than it does to design them...

    Unser bisheriger Preis:ORGPRICE: 104,74 €

    Jetzt 104,73 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Ganesh Gopalakrishnan
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 23rd International Conference on Computer A...

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Automata and Computability
    -0 %

    Automata and Computability

    Ganesh Gopalakrishnan
    CRC Press
    Ebook
    Sofort lieferbar

    Automata and Computability is a class-tested textbook which provides a comprehensive and accessib...

    Unser bisheriger Preis:ORGPRICE: 54,72 €

    Jetzt 54,71 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Formal Methods in Computer-Aided Design
    -0 %

    Formal Methods in Computer-Aided Design

    Ganesh Gopalakrishnan
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Automata and Computability
    -0 %

    Automata and Computability

    Ganesh Gopalakrishnan
    CRC Press
    Ebook
    Sofort lieferbar

    Automata and Computability is a class-tested textbook which provides a comprehensive and accessib...

    Unser bisheriger Preis:ORGPRICE: 54,11 €

    Jetzt 54,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Theorem Proving in Higher Order Logics
    -0 %

    Theorem Proving in Higher Order Logics

    Annette Bunker
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1