Grid   List

  1. Current Trends in Hardware Verification and Automated Theorem Proving
    -0 %

    Current Trends in Hardware Verification and Automated Theorem Proving

    Graham Birtwistle
    Springer New York
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 112,18 €

    Jetzt 112,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. VLSI Specification, Verification and Synthesis
    -0 %

    VLSI Specification, Verification and Synthesis

    Graham Birtwistle
    Springer US
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 111,78 €

    Jetzt 111,77 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. IV Higher Order Workshop, Banff 1990
    -0 %

    IV Higher Order Workshop, Banff 1990

    Graham Birtwistle
    Springer London
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,14 €

    Jetzt 56,13 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Asynchronous Digital Circuit Design
    -0 %

    Asynchronous Digital Circuit Design

    Graham Birtwistle
    Springer London
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,35 €

    Jetzt 56,34 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Current Trends in Hardware Verification and Automated Theorem Proving

    Current Trends in Hardware Verification and Automated Theorem Proving

    P. A. Subrahmanyam
    Springer New York
    Taschenbuch
    Print on Demand

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Art as Spiritual Perception

    Art as Spiritual Perception

    James Romaine
    Crossway
    Ebook
    Nicht lieferbar

    A reader covering everything from sixth-century icons to contemporary art, this compilation offer...

    39,99 €
    Alle Preise inkl. MwSt
  7. Discrete Event Modelling on Simula

    Discrete Event Modelling on Simula

    Graham M. Birtwistle
    Macmillan Education UK
    Ebook
    Nicht lieferbar
    20,88 €
    Alle Preise inkl. MwSt
  1. 1