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

Descrizione completa

Dettagli Bibliografici

Ente Autore:	International Conference on Software Engineering and Formal Methods ( Grenoble, Francia)
Altri autori:	Giannakopoulou, Dimitra (edición) (edición), Salaün, Gwen (edición) (edición)
Natura:	Atti del Convegno Libro
Lingua:	inglese
Pubblicazione:	Cham, Suiza : Springer, 2014, c2014
Serie:	(Lecture Notes in Computer Science ; 8702)
Soggetti:	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
Accesso online:	Ver documento en línea
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!