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
Szerző:
Marco Bernardo, Alessandro Cimatti
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672
Ft
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio...