01552nlm0 22004331i 450 9900092629804033219783642049125000926298FED01000926298(Aleph)000926298FED0100092629820100926d2009----km-y0itay50------baengDEdrnn-008mamaaTeaching Formal MethodsRisorsa elettronicaSecond International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsedited by Jeremy Gibbons, José Nuno OliveiraBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435846Documento elettronicoTestoFormato html, pdfGibbons,JeremyOliveira,José NunoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04912-5EB990009262980403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringSoftware Engineering/Programming and Operating SystemsTeaching Formal Methods773776UNINA