01360nlm0 22003851i 450 9900092549804033219783540779667000925498FED01000925498(Aleph)000925498FED0100092549820100926d2008----km-y0itay50------baengDEdrnn-008mamaaHardware and Software: Verification and TestingRisorsa elettronicaThird International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedingsedited by Karen YoravBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434899Documento elettronicoTestoFormato html, pdfYorav,KarenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-77966-7EB990009254980403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringHardware and Software, Verification and Testing772242UNINA