„dennis dams"
-
Concurrency, Compositionality, and Correctness
Band 5930
Concurrency, Compositionality, and CorrectnesseBook (PDF) + weitere
54,99 €
-
Theoretical and Practical Aspects of SPIN Model Checking
Band 1680Dennis Dams, Robert Gerth + weitere
Theoretical and Practical Aspects of SPIN Model CheckingBuch (Taschenbuch)
51,99 €
-
FM 2009: Formal Methods
Band 5850Ana Cavalcanti + weitere
FM 2009: Formal MethodsBuch (Taschenbuch)
99,99 €