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

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Conference on Software Engineering and Formal Methods ( Grenoble, Francia)
Weitere Verfasser:	Giannakopoulou, Dimitra (edición) (edición), Salaün, Gwen (edición) (edición)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:	(Lecture Notes in Computer Science ; 8702)
Schlagworte:	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-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!