„frank s. de boer"
-
Formal Methods for Components and Objects
Band 7542
Formal Methods for Components and ObjectsBuch (Taschenbuch) + weitere
Fr. 72.90
-
Theoretical Computer Science
Band 7604
Theoretical Computer ScienceBuch (Taschenbuch) + weitere
Fr. 73.90
-
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer + weitere
Verification of Sequential and Concurrent ProgramsBuch (Taschenbuch) + weitere
Fr. 112.00