01544nlm0 22004211i 450 9900092500504033219783540330462000925005FED01000925005(Aleph)000925005FED0100092500520100926d2006----km-y0itay50------baengDEdrnn-008mamaaFoundations of Software Science and Computation StructuresRisorsa elettronica9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, MarcBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433921Documento elettronicoTestoFormato html, pdfAceto,LucaIngólfsdóttir,AnnaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11690634EB990009250050403321Computation by Abstract DevicesComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFoundations of Software Science and Computation Structures772187UNINA