Profisuche

marsha chechik

Grid   List

  1. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Sandrine Blazy
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  2. CONCUR 2008 - Concurrency Theory

    CONCUR 2008 - Concurrency Theory

    Franck van Breugel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 19th International Conference on Concurrenc...

    53,49 €
    Alle Preise inkl. MwSt
  3. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Marsha Chechik
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Marsha Chechik
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  5. Formal Methods

    Formal Methods

    Marsha Chechik
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    96,29 €
    Alle Preise inkl. MwSt
  6. CONCUR 2008 - Concurrency Theory

    CONCUR 2008 - Concurrency Theory

    Marsha Chechik
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. 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 Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Marsha Chechik
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

    This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th Internati...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Formal Methods

    Formal Methods

    Marsha Chechik
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1