„alessandro cimatti"
-
Formal Methods for Industrial Critical Systems
Band 14290
Formal Methods for Industrial Critical SystemseBook (PDF) + weitere
71,49 €
-
Theory and Applications of Satisfiability Testing -- SAT 2012
Band 7317
Theory and Applications of Satisfiability Testing -- SAT 2012Buch (Taschenbuch) + weitere
51,99 €
-
Software Engineering and Formal Methods
Band 10469
Software Engineering and Formal MethodsBuch (Taschenbuch) + weitere
51,99 €
-
Formal Methods for Hardware Verification
Band 3965Marco Bernardo + weitere
Formal Methods for Hardware VerificationBuch (Taschenbuch)
51,99 €