01513nlm0 22004091i 450 9900092404504033219783540319825000924045FED01000924045(Aleph)000924045FED0100092404520100926d2005----km-y0itay50------baengDEdrnn-008mamaaFoundations of Software Science and Computational StructuresRisorsa elettronica8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, ApriBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433441Documento elettronicoTestoFormato html, pdfSassone,VladimiroITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b106850EB990009240450403321Computation 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