mehr als bücher

Grid  List

  1. Theoretical Aspects of Computer Software
    Theoretical Aspects of Computer Software
    Martin Abadi
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeStrong normalisation in higher-order action calculi.- Extending ML with semi-explici...

    106,99 €*
  2. A Theory of Objects
    A Theory of Objects
    Martin Abadi
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    By developing object calculi in which objects are treated as primitives, the authors are able to ...

    246,09 €*
  3. A Theory of Objects
    A Theory of Objects
    Martin Abadi
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    By developing object calculi in which objects are treated as primitives, the authors are able to ...

    246,09 €*
  4. Principles of Security and Trust
    Principles of Security and Trust
    Martín Abadi
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the Third International Conference on Principle...

    53,49 €*
  5. Trustworthy Global Computing
    Trustworthy Global Computing
    Martín Abadi
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

    53,49 €*
  1. 1