01441nlm0 22004091i 450 9900092443104033219783540708896000924431FED01000924431(Aleph)000924431FED0100092443120100926d2007----km-y0itay50------baengDEdrnn-008mamaaHardware and Software, Verification and TestingRisorsa elettronicaSecond International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papersedited by Eyal Bin, Avi Ziv, Shmuel UrBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434383Documento elettronicoTestoFormato html, pdfBin,EyalUr,ShmuelZiv,AviITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70889-6EB990009244310403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringHardware and Software, Verification and Testing772242UNINA