Profisuche

anton wijs

Grid   List

  1. Model Checking Software

    Model Checking Software

    Dragan Bosnacki
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelCheckin...

    53,49 €
    Alle Preise inkl. MwSt
  2. Formal Aspects of Component Software

    Formal Aspects of Component Software

    Gwen Salaün
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly revised selected papers from the 17th International Symposiu...

    48,14 €
    Alle Preise inkl. MwSt
  3. Concise Guide to Software Verification

    Concise Guide to Software Verification

    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Ever since the beginnings of the development of software, researchers have been thinking about ho...

    64,19 €
    Alle Preise inkl. MwSt
  4. Integrated Formal Methods

    Integrated Formal Methods

    Paula Herber
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference,...

    117,69 €
    Alle Preise inkl. MwSt
  5. Model Checking Software

    Model Checking Software

    Thomas Neele
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Check...

    53,49 €
    Alle Preise inkl. MwSt
  6. Formal Aspects of Component Software

    Formal Aspects of Component Software

    Anton Wijs
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly revised selected papers from the 17th International Symposiu...

    48,14 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Integrated Formal Methods

    Integrated Formal Methods

    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conferen...

    128,39 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Model Checking Software

    Model Checking Software

    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChec...

    53,50 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Model Checking Software

    Model Checking Software

    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Ch...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Concise Guide to Software Verification

    Concise Guide to Software Verification

    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Buch
    Print on Demand

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ...

    85,59 €
    Alle Preise inkl. MwSt | zzgl. Versand
  11. Concise Guide to Software Verification

    Concise Guide to Software Verification

    Anton Wijs
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ...

    64,19 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1