Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Software Security - Theories and Systems Software Security - Theories and Systems

    Software Security - Theories and Systems

    Kokichi Futatsugi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.10.2004

    Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Algebra, Meaning, and Computation Algebra, Meaning, and Computation

    Algebra, Meaning, and Computation

    Kokichi Futatsugi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    22.06.2006

    Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research c...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Object-Technologies for Advanced Software Object-Technologies for Advanced Software

    Object-Technologies for Advanced Software

    Satoshi Matsuoka
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    28.02.1996

    This book constitutes the refereed proceedings of the Second International Symposium on Object Te...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

    Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

    Razvan Diaconescu
    World Scientific Publishing Company
    02.07.1998

    CafeOBJ is an industrial strength modern algebraic specification language, a successor of the fam...

    Gebunden
    43,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1