Wissen, was kommt.
Erweiterte Suche

Grid  List

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

    Algebraic Methodology and Software Technology

    Savitri Maharaj
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.06.2004

    This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebrai...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Specification and Verification of Concurrent Systems Specification and Verification of Concurrent Systems

    Specification and Verification of Concurrent Systems

    Charles Rattray
    Springer London, Springer Berlin Heidelberg
    23.07.1990

    This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification ...

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

    Algebraic Methodology and Software Technology (AMAST’93)

    Maurice Nivat
    Springer, Springer Spektrum
    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
  4. Theories and Experiences for Real-Time System Development Theories and Experiences for Real-Time System Development

    Theories and Experiences for Real-Time System Development

    Charles Rattray
    World Scientific Publishing Company
    01.02.1995

    Our understanding of real-time systems is rapidly approaching a level of maturity which calls for...

    Gebunden
    147,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1