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

Celý popis

Podrobná bibliografie

Korporativní autor:	International Conference on Software Engineering and Formal Methods ( Grenoble, Francia)
Další autoři:	Giannakopoulou, Dimitra (edición) (edición), Salaün, Gwen (edición) (edición)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Cham, Suiza : Springer, 2014, c2014
Edice:	(Lecture Notes in Computer Science ; 8702)
Témata:	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
On-line přístup:	Ver documento en línea
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!