Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. NASA Formal Methods

    NASA Formal Methods

    Jyotirmoy Deshmukh
    Springer Verlag GmbH 13.08.2026 - 2026
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods,...

    77,69 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Formal Approaches to Software Testing and Runtime Verification

    Formal Approaches to Software Testing and Runtime Verification

    Klaus Havelund
    Springer Verlag GmbH 07.12.2006 - 2006
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Software validation is one of the most cost-intensive tasks in modern software production process...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Model Checking Software

    Model Checking Software

    Klaus Havelund
    Springer Verlag GmbH 25.07.2008 - 2008
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. SPIN Model Checking and Software Verification

    SPIN Model Checking and Software Verification

    Klaus Havelund
    Springer Verlag GmbH 21.08.2000 - 2000
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    The SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. NASA Formal Methods

    NASA Formal Methods

    Klaus Havelund
    Springer Verlag GmbH 09.04.2015 - 2015
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Erika Abraham
    Springer Verlag GmbH 11.03.2014 - 2014
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Formal Methods

    Formal Methods

    Klaus Havelund
    Springer Verlag GmbH 12.07.2018 - 2018
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Meth...

    94,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. NASA Formal Methods

    NASA Formal Methods

    Jyotirmoy V Deshmukh
    Springer Verlag GmbH 20.05.2022 - 2022
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods,...

    136,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1