„serdar tasiran"
-
Runtime Verification
Band 7687
Runtime VerificationBuch (Taschenbuch) + weitere
49,99 €
-
Computer Aided Verification
Band 11562
Computer Aided VerificationBuch (Taschenbuch)
49,99 €
-
Computer Aided Verification
Band 11561
Computer Aided VerificationBuch (Taschenbuch)
49,99 €
-
Verified Software. Theories, Tools and Experiments
Band 14095
Verified Software. Theories, Tools and ExperimentsBuch (Taschenbuch) + weitere
48,99 €