Detailsuche

Grid  List

  1. Model Checking Software
    0 %
    Model Checking Software
    Corina S Pasareanu
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of...

    Unser bisheriger Preis:ORGPRICE: 71,39 €

    Jetzt 57,90 €Ebook
    Alle Preise inkl. MwSt
  2. Formal Aspects of Component Software
    0 %
    Formal Aspects of Component Software
    Corina S Pasareanu
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the revised selected papers of the 9th International Symposium on Formal As...

    Unser bisheriger Preis:ORGPRICE: 53,77 €

    Jetzt 53,76 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Methods
    0 %
    Formal Methods
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, ...

    Unser bisheriger Preis:ORGPRICE: 127,76 €

    Jetzt 127,75 €Ebook
    Alle Preise inkl. MwSt
  4. Software Engineering and Formal Methods
    0 %
    Software Engineering and Formal Methods
    Radu Calinescu
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 89,98 €

    Jetzt 89,97 €Ebook
    Alle Preise inkl. MwSt
  5. Theoretical Aspects of Computing - ICTAC 2022
    0 %
    Theoretical Aspects of Computing - ICTAC 2022
    Zhiming Liu
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects...

    Unser bisheriger Preis:ORGPRICE: 57,89 €

    Jetzt 57,88 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Aspects of Component Software
    Formal Aspects of Component Software
    Gwen Salaün
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the revised selected papers of the 9th International Symposium on Formal As...

    49,22 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Model Checking Software
    Model Checking Software
    Corina S Pasareanu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 16th International SPIN workshop on Mode...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Theoretical Aspects of Computing ¿ ICTAC 2022
    Theoretical Aspects of Computing ¿ ICTAC 2022
    Helmut Seidl
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1