Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

by Marco Bernardo and Alessandro Cimatti

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540343040
• ISBN13: 9783540343042
• Release Date: May 2006
• Publisher: Springer
• Length: 244 Pages
• Weight: 0.88 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"