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

Full beskrivning

Bibliografiska uppgifter

Institutionellt upphov:	International Conference on Software Engineering and Formal Methods ( Grenoble, Francia)
Övriga upphov:	Giannakopoulou, Dimitra (edición) (edición), Salaün, Gwen (edición) (edición)
Materialtyp:	Konferenspublikation Bok
Språk:	engelska
Utgiven:	Cham, Suiza : Springer, 2014, c2014
Serie:	(Lecture Notes in Computer Science ; 8702)
Ämnen:	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
Länkar:	Ver documento en línea
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!