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 : advanced lectures / 
 SFM 2006  Hardware verification 
Marco Bernardo, Alessandro Cimatti, eds. 
 - vi, 242 páginas :  ilustraciones 
 - Lecture notes in computer science,  Tutorial  3965 .
 - Lecture notes in computer science ;  3965 Lecture notes in computer science.  Tutorial Lecture notes in computer science .
<br/><br/><label>ISBN: </label>3540343040 9783540343042 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Métodos formales (Computación)--Congresos<br/>Circuitos integrados--Constatación--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.9F67  / I574 2006 
<br/><br/><label>Dewey Class. No.: </label>004.01/51