*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. 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 ModelCheckin...

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

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

    48,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Anton Wijs
    Springer International Publishing
    Buch
    Print on Demand

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

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Integrated Formal Methods
    Integrated Formal Methods
    Anton Wijs
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    117,69 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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 Check...

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

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

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1