01716nlm0 22004691i 450 9900092631304033219783642050312000926313FED01000926313(Aleph)000926313FED0100092631320100926d2009----km-y0itay50------baengDEdrnn-008mamaaTesting of Software and Communication SystemsRisorsa elettronica21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsedited by Manuel Núñez, Paul Baker, Mercedes G. MerayoBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435826Documento elettronicoTestoFormato html, pdfBaker,PaulMerayo,Mercedes G.Nunez,ManuelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-05031-2EB990009263130403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer simulationComputer softwareLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesSimulation and ModelingSoftware engineeringSoftware EngineeringTesting of Software and Communication Systems773764UNINA