01526nlm0 22004091i 450 9900092552604033219783540784999000925526FED01000925526(Aleph)000925526FED0100092552620100926d2008----km-y0itay50------baengDEdrnn-008mamaaFoundations of Software Science and Computational StructuresRisorsa elettronica11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, MarchBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434962Documento elettronicoTestoFormato html, pdfAmadio,RobertoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78499-9EB990009255260403321Computation by Abstract DevicesComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFoundations of Software Science and Computational Structures772755UNINA