01532nam--2200385---450-99000306946020331620080410121235.03-540-34304-0000306946USA01000306946(ALEPH)000306946USA0100030694620080225d2006----km-y0itay50------baengDE||||||||001yyFormal Methods for Hardware Verification6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006Bertinoro, Italy, May 22-27, 2006Advanced LecturesMarco Bernardo, Alessandro Cimatti (Eds.)Berlin [etc.]Springercopyr. 2006VI, 242 p.ill.24 cmLecture Notes in Computer ScienceTutorial39652001Lecture Notes in Computer Science3965Architettura degli elaboratoriCongressiBertinoro2006621.392BERNARDO,MarcoCIMATTI,AlessandroInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006<6;2006Bertinoro;>600308ITsalbcISBD990003069460203316001 LNCS 396533830/CBS00100217031BKSCIANGELA9020080225USA011218ANGELA9020080410USA011212Formal Methods for Hardware Verification1023108UNISA