Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Model Checking Software Model Checking Software

    Model Checking Software

    Dragan Bosnacki
    Springer, Springer
    27.03.2002

    The SPIN workshop series brings together researchers and practitioners int- ested in explicit sta...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Scenarios: Models, Transformations and Tools Scenarios: Models, Transformations and Tools

    Scenarios: Models, Transformations and Tools

    Stefan Leue
    Springer, Springer
    16.06.2005

    Visual notations and languages continue to play a pivotal role in the design of complex software ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Stefan Leue
    Springer, Springer
    19.05.2008

    This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Theoretical and Practical Aspects of SPIN Model Checking Theoretical and Practical Aspects of SPIN Model Checking

    Theoretical and Practical Aspects of SPIN Model Checking

    Dennis Dams
    Springer, Springer
    08.09.1999

    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...

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