Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /

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 component...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International Conference on Software Engineering and Formal Methods ( Grenoble, Francia)
Andre forfattere:	Giannakopoulou, Dimitra (edición) (edición), Salaün, Gwen (edición) (edición)
Format:	Procedimiento de la conferencia Bog
Sprog:	engelsk
Udgivet:	Cham, Suiza : Springer, 2014, c2014
Serier:	(Lecture Notes in Computer Science ; 8702)
Fag:	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
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!