Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. CASL User Manual CASL User Manual

    CASL User Manual

    Peter D. Mosses
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    29.01.2004

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

    Jan Van Leeuwen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    26.07.2000

    In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Techni...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Action Semantics Action Semantics

    Action Semantics

    Peter D. Mosses
    Cambridge University Press
    31.12.2004

    Action Semantics is a novel approach to the formal description of programming languages. Its abst...

    Taschenbuch
    72,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. CASL Reference Manual CASL Reference Manual

    CASL Reference Manual

    Peter D. Mosses
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.03.2004

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. TAPSOFT ’95: Theory and Practice of Software Development TAPSOFT ’95: Theory and Practice of Software Development

    TAPSOFT ’95: Theory and Practice of Software Development

    Peter D. Mosses
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    03.05.1995

    This volume presents the proceedings of the Sixth International Joint Conference on the Theory an...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    José Luiz Fiadeiro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.03.2005

    This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Didier Bert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    06.09.2000

    The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1