mehr als bücher

Grid  List

  1. CONCUR 2008 - Concurrency Theory
    CONCUR 2008 - Concurrency Theory
    Franck van Breugel
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of the 19th International Conference on Concurrency Theory (...

    53,49 €*
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marsha Chechik
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlg...

    53,49 €*
  3. Verified Software. Theories, Tools, and Experiments
    Verified Software. Theories, Tools, and Experiments
    Sandrine Blazy
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume constitutes the thoroughly refereed post-conference proceedings of the 8th Internatio...

    53,49 €*
  4. Formal Methods
    Formal Methods
    Marsha Chechik
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...

    106,99 €*
  1. 1