„dennis dams"
-
Concurrency, Compositionality, and Correctness
Band 5930Dennis Dams, Ulrich Hannemann + weitere
Concurrency, Compositionality, and CorrectnessBuch (Taschenbuch) + weitere
Fr. 73.90
-
FM 2009: Formal Methods
Band 5850Ana Cavalcanti + weitere
FM 2009: Formal MethodsBuch (Taschenbuch)
Fr. 138.00
-
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