Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Predicate Transformer Semantics Predicate Transformer Semantics

    Predicate Transformer Semantics

    Ernest G. Manes
    Cambridge University Press
    20.10.2004

    A central problem in the design of programming systems is to provide methods for verifying that c...

    Taschenbuch
    73,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Algebraic Approaches to Program Semantics Algebraic Approaches to Program Semantics

    Algebraic Approaches to Program Semantics

    Michael A. Arbib
    Springer New York, Springer US
    17.01.2014

    In the 1930s, mathematical logicians studied the notion of 'effective comput ability' using such ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 93,08 €

    Jetzt 85,55 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebraic Approaches to Program Semantics Algebraic Approaches to Program Semantics

    Algebraic Approaches to Program Semantics

    Ernest G. Manes
    Springer, Berlin

    In the 1930s, mathematical logicians studied the notion of 'effective comput ability' using such ...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 87,19 €

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