01415nlm0 22004091i 450 9900092494604033219783540356325000924946FED01000924946(Aleph)000924946FED0100092494620100926d2006----km-y0itay50------baengDEdrnn-008mamaaMathematics of Program ConstructionRisorsa elettronica8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedingsedited by Tarmo UustaluBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434014Documento elettronicoTestoFormato html, pdfUustalu,TarmoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11783596EB990009249460403321Computation by Abstract DevicesComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringMathematics of Program Construction772229UNINA