„alessandro cimatti"
-
Formal Methods for Industrial Critical Systems
Band 14290
Formal Methods for Industrial Critical SystemseBook (PDF) + weitere
Fr. 81.90
-
Theory and Applications of Satisfiability Testing -- SAT 2012
Band 7317
Theory and Applications of Satisfiability Testing -- SAT 2012Buch (Taschenbuch) + weitere
Fr. 73.90
-
Software Engineering and Formal Methods
Band 10469
Software Engineering and Formal MethodseBook (PDF) + weitere
Fr. 62.90
-
Formal Methods for Hardware Verification
Band 3965Marco Bernardo + weitere
Formal Methods for Hardware VerificationBuch (Taschenbuch)
Fr. 73.90