Erweiterte Suche

Grid  List

  1. Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    Maurice Nivat
    Springer Berlin Heidelberg
    19.06.1996

    This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    Maurice Nivat
    Springer Berlin Heidelberg
    21.05.1995

    This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodol...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures

    Foundations of Software Science and Computation Structures

    Maurice Nivat
    Springer Berlin Heidelberg
    11.03.1998

    This book constitutes the refereed proceedings of the First International Conference on the Found...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practi

    Hartmut Ehrig
    Springer Berlin Heidelberg
    01.03.1985

    Specification and top down design of distributed systems.- Specification languages for distribute...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. CAAP ’88 CAAP ’88

    CAAP ’88

    Maurice Nivat
    Springer Berlin Heidelberg
    09.03.1988

    This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Algebraic Methodology and Software Technology (AMAST¿93) Algebraic Methodology and Software Technology (AMAST¿93)

    Algebraic Methodology and Software Technology (AMAST¿93)

    Maurice Nivat
    Springer London
    17.12.1993

    The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Sof

    Hartmut Ehrig
    Springer Berlin Heidelberg
    01.03.1985

    On the relevance of formal methods to software development.- Combining algebraic and predicative ...

    Taschenbuch
    50,28 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Parallel Image Analysis Parallel Image Analysis

    Parallel Image Analysis

    Akira Nakamura
    Springer Berlin Heidelberg
    02.12.1992

    This volume contains the papers selected for presentation atthe Second International Conference o...

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