graham birtwistle

Grid   List

  1. IV Higher Order Workshop, Banff 1990
    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 and thus laid some foundations for modern functional programming. The advantage of higher order descri...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Asynchronous Digital Circuit Design
    Asynchronous Digital Circuit Design
    Graham Birtwistle
    Springer London
    Ebook
    Sofort lieferbar
    Asynchronous Digital Circuit Design
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Current Trends in Hardware Verification and Automated Theorem Proving
    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 [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. VLSI Specification, Verification and Synthesis
    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-16 January 1987. The collection of papers in this book represents some of the discussions and presen...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. IV Higher Order Workshop, Banff 1990
    IV Higher Order Workshop, Banff 1990
    Graham Birtwistle
    Springer London, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descri...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. 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
    Taschenbuch
    Bezug 11-15
    This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal ...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Logics for Concurrency
    Logics for Concurrency
    Graham Birtwistle
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; o...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. VLSI Specification, Verification and Synthesis
    VLSI Specification, Verification and Synthesis
    P. A. Subrahmanyam
    Springer US, Springer New York
    Taschenbuch
    Bezug 11-15
    VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presen...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Asynchronous Digital Circuit Design
    Asynchronous Digital Circuit Design
    Alan Davis
    Springer London, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and e...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Lebendige Kunst
    Lebendige Kunst
    Graham Birtwistle
    Boer, Boer
    Buch
    Print on Demand
    Eine grundlegende Untersuchung zur Entwicklung Asger Jorns KunsttheorieAuf den ersten Blick scheint eine Beschäftigung mit Jorns Theorie für einen Zeitraum von 1946 bis 1949 ungewöhnlich eng. Er is...
    58,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>