Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. CONCUR 2008 - Concurrency Theory
    CONCUR 2008 - Concurrency Theory
    Franck van Breugel
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Jean-François Raskin
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Verified Software. Theories, Tools, and Experiments
    Verified Software. Theories, Tools, and Experiments
    Sandrine Blazy
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Marsha Chechik
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods
    Formal Methods
    Martin Leucker
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1