01518nlm0 22004091i 450 9900092405804033219783540713890000924058FED01000924058(Aleph)000924058FED0100092405820100926d2007----km-y0itay50------baengDEdrnn-008mamaaFoundations of Software Science and Computational StructuresRisorsa elettronica10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, MBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434423Documento elettronicoTestoFormato html, pdfSeidl,HelmutITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71389-0EB990009240580403321Computation 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