„stefan leue"
-
Formal Methods for Industrial Critical Systems
Band 4916
Formal Methods for Industrial Critical SystemsBuch (Taschenbuch)
Fr. 72.90
-
Scenarios: Models, Transformations and Tools
Band 3466Stefan Leue + weitere
Scenarios: Models, Transformations and ToolsBuch (Taschenbuch)
Fr. 72.90
-
Theoretical and Practical Aspects of SPIN Model Checking
Band 1680Dennis Dams, Robert Gerth + weitere
Theoretical and Practical Aspects of SPIN Model CheckingBuch (Taschenbuch)
Fr. 72.90
-
Model Checking Software
Band 2318Dragan Bosnacki + weitere
Model Checking SoftwareBuch (Taschenbuch) + weitere
Fr. 72.90