peter d mosses

Grid   List

  1. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    José Luiz Fiadeiro
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Recent Trends in Algebraic Development Techniques
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. CASL User Manual
    CASL User Manual
    Michel Bidoit
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose languag...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
    Jan Van Leeuwen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the develop...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Didier Bert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999.T...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. CASL Reference Manual
    CASL Reference Manual
    Peter D. Mosses
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose languag...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Action Semantics
    Action Semantics
    Peter D. Mosses
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action...
    87,67 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. CASL User Manual
    CASL User Manual
    Peter D. Mosses
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose lang...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. 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
    Taschenbuch
    Bezug 11-15
    This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 ce...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. 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
    Taschenbuch
    Bezug 11-15
    In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the develop...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. CASL Reference Manual
    CASL Reference Manual
    Peter D. Mosses
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose lang...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Didier Bert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software syst...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    José Luiz Fiadeiro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>