Erweiterte Suche

Grid  List

  1. Model Checking Software Model Checking Software

    Model Checking Software

    Anton Wijs
    Springer International Publishing, Springer International Publishing
    08.04.2016

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

    Taschenbuch
    53,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Aspects of Component Software Formal Aspects of Component Software

    Formal Aspects of Component Software

    Anton Wijs
    Springer International Publishing, Springer International Publishing
    05.11.2021

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 48,14 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Concise Guide to Software Verification Concise Guide to Software Verification

    Concise Guide to Software Verification

    Anton Wijs
    Springer International Publishing
    25.07.2023

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

    Gebunden
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Anton Wijs
    Springer Nature Switzerland, Springer International Publishing
    11.11.2023

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

    Taschenbuch
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Model Checking Software Model Checking Software

    Model Checking Software

    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    13.10.2024

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Concise Guide to Software Verification Concise Guide to Software Verification

    Concise Guide to Software Verification

    Anton Wijs
    Springer International Publishing
    26.07.2024

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

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1