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 Construction772229UNINA00922nam0-22003131i-450-990001330010403321000133001FED01000133001(Aleph)000133001FED0100013300120000920d1993----km-y0itay50------baengPeano e i fondamenti della matematicaAtti del convegno, Modena 22-24 ottobre 1991A cura di Giuseppe Gemignani.ModenaMucchic1993.viii, 301 p.24 cmCollana Studi7Peano, giuseppe510.8092Gemignani,GiuseppeModena (i),1991Peano,Giuseppe<1858-1932>ITUNINARICAUNIMARCBK990001330010403321124-I-3612125MA1MA1Peano e i fondamenti della matematica376488UNINAING01