01689nlm0 22004691i 450 9900092418804033219783540320302000924188FED01000924188(Aleph)000924188FED0100092418820100926d2005----km-y0itay50------baengDEdrnn-008mamaaCorrect Hardware Design and Verification MethodsRisorsa elettronica13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedingsedited by Dominique Borrione, Wolfgang PaulBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433725Documento elettronicoTestoFormato html, pdfBorrione,DominiquePaul,WolfgangITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11560548EB990009241880403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer aided designComputer hardwareComputer HardwareComputer scienceComputer ScienceComputer-Aided Engineering (CAD, CAE) and DesignLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringCorrect Hardware Design and Verification Methods772373UNINA00828nam0-2200241 --450 991088737460332120241001085317.020241001d2000----kmuy0itay5050 baitaITa c 001yy<<Un >>falso scontroBenevento come le grandi città europeepiazza Duomo e piazza Orsini, cinquantasei anni dopo come consegnare al futuro i segni di un grande intervento urbanisticoFrancesco RomanoMorconeFilo Rosso Editore2000137 p.ill.24 cmBenevento come le grandi città europeeRomano,Francesco331405ITUNINAREICATUNIMARCBK991088737460332112.1961325/24DARSTDARSTFalso scontro4252445UNINA