Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Current Trends in Hardware Verification and Automated Theorem Proving Current Trends in Hardware Verification and Automated Theorem Proving

    Current Trends in Hardware Verification and Automated Theorem Proving

    P. A. Subrahmanyam
    Springer New York, Springer US
    17.09.2011

    This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. IV Higher Order Workshop, Banff 1990 IV Higher Order Workshop, Banff 1990

    IV Higher Order Workshop, Banff 1990

    Graham Birtwistle
    Springer London, Springer Berlin Heidelberg
    31.07.1991

    It is many years since Landin, Burge and others showed us how to apply higher order techniques an...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logics for Concurrency Logics for Concurrency

    Logics for Concurrency

    Graham Birtwistle
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    06.03.1996

    This book presents five tutorial-style lectures on various approaches to the problem of verifying...

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

    Lebendige Kunst

    Graham Birtwistle
    Boer, Boer
    16.08.2016

    Eine grundlegende Untersuchung zur Entwicklung Asger Jorns KunsttheorieAuf den ersten Blick schei...

    Gebunden
    58,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. VLSI Specification, Verification and Synthesis VLSI Specification, Verification and Synthesis

    VLSI Specification, Verification and Synthesis

    P. A. Subrahmanyam
    Springer US, Springer New York
    14.08.2013

    VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Asynchronous Digital Circuit Design Asynchronous Digital Circuit Design

    Asynchronous Digital Circuit Design

    Alan Davis
    Springer London, Springer Berlin Heidelberg
    06.04.1995

    As the costs of power and timing become increasingly difficult to manage in traditional synchrono...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Current Trends in Hardware Verification and Automated Theorem Proving Current Trends in Hardware Verification and Automated Theorem Proving

    Current Trends in Hardware Verification and Automated Theorem Proving

    Graham Birtwistle
    Springer, Berlin

    This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 92,92 €

    Jetzt 85,55 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1