Books by Alessandro Cimatti
No products found matching the selection.
-20%
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Marco Bernardo, Alessandro Cimatti
€85.52
€106.90
-20% with code BOOKS
In stock at our supplier