Erweiterte Suche

Grid  List

  1. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Ganesh Gopalakrishnan
    Springer, Springer
    05.07.2011

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

    Taschenbuch
    53,49 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Konrad Slind
    Springer, Springer
    01.09.2004

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design

    Formal Methods in Computer-Aided Design

    Ganesh Gopalakrishnan
    Springer, Springer
    21.10.1998

    This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Comp...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computation Engineering Computation Engineering

    Computation Engineering

    Ganesh Gopalakrishnan
    Springer, Springer
    29.10.2010

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

    Taschenbuch
    98,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computation Engineering Computation Engineering

    Computation Engineering

    Ganesh Gopalakrishnan
    Springer Us
    02.06.2006

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 119,50 €

    Jetzt 98,39 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1