Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings International Conference on Software Engineering and Formal Methods ( 2014 : Grenoble, Francia) creator Giannakopoulou, Dimitra (edición) Salaün, Gwen (edición) text monographic ING 1 libro electrónico en línea (XXII, 394 p.) 1 recurso en línea Selección de ponencias de la décima segunda Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, celebrada en Grenoble, Francia, en septiembre de 2014. Los artículos están organizados en secciones temáticas sobre verificación de programas, pruebas, sistemas basados en componentes, sistemas integrados y en tiempo real, verificación de modelos y aprendizaje de autómatas, corrección de programas y sistemas adaptativos y de múltiples agentes. Ed. de D. Giannakopoulou, G. Salaün. Licencias ilimitadas XX Agentes Inteligentes (Software) Aprendizaje Automático (Inteligencia Artificial) Algoritmos Computacionales Compiladores (Software) Intérpretes (Software) Paquetes (Software) - Prueba y Medición Programación Estructurada (Software) Programación Funcional (Software) Programación Lógica (Software) Lenguajes de Programación Lenguajes Formales Programación (Software) - Tema Principal Ingeniería de Software - Tema Principal Desarrollo de Sistemas - Congresos - Tema Principal Autómatas Matemáticos - Teoría Sistemas Computacionales Ingeniería Computacional Libro en línea (Lecture Notes in Computer Science ; 8702) 978-3-319-10431-7 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10431-7 Licencias ilimitadas 20251023000000.0 000570078