01580nlm0 22004331i 450 9900092520304033219783540343059000925203FED01000925203(Aleph)000925203FED0100092520320100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Hardware VerificationRisorsa elettronica6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced LectureseditBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433965Documento elettronicoTestoFormato html, pdfBernardo,MarcoCimatti,AlessandroITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11757283EB990009252030403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Methods for Hardware Verification774272UNINA