-
Scenarios: Models, Transformations and Tools
EbookSofort lieferbarVisual notations and languages continue to play...
-
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Theoretical and Practical Aspects of SPIN Model Checking
EbookSofort lieferbarIncreasing the designer's con dence that a piec...
-
-
Formal Methods for Industrial Critical Systems
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed p...
-
Model Checking Software
TaschenbuchPrint on DemandThe SPIN workshop series brings together resear...
-
Scenarios: Models, Transformations and Tools
TaschenbuchPrint on DemandVisual notations and languages continue to play...
-
Theoretical and Practical Aspects of SPIN Model Checking
TaschenbuchPrint on DemandIncreasing the designer¿s con dence that a piec...
- 1
Folgen Sie uns auf:
