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 (Paperback, 2006 ed.)
Ships in 10 - 15 working days