stefan leue

Grid   List

  1. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Stefan Leue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Scenarios: Models, Transformations and Tools
    Scenarios: Models, Transformations and Tools
    Stefan Leue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Visual notations and languages continue to play a pivotal role ^ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of sof...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Theoretical and Practical Aspects of SPIN Model Checking
    Theoretical and Practical Aspects of SPIN Model Checking
    Dennis Dams
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many a...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model Checking Software
    Model Checking Software
    Dragan Bosnacki
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, wh...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Pedro Merino
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Model Checking Software
    Model Checking Software
    Stefan Leue
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, wh...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Theoretical and Practical Aspects of SPIN Model Checking
    Theoretical and Practical Aspects of SPIN Model Checking
    Dennis Dams
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many a...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Scenarios: Models, Transformations and Tools
    Scenarios: Models, Transformations and Tools
    Tarja J. Systä
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    Visual notations and languages continue to play a pivotal role in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of sof...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>