Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /

Selección de ponencias del vigésimo tercer Simposio Europeo sobre Programación, celebrado como parte de las décimas séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, en Grenoble, Francia, en abril de 2014. Los artículos están organizados en secciones temáticas acerca de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores corporativos: European Symposium on Programming ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
Otros autores: Shao, Zhong (edición) (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:Inglés
Publicado: Heidelberg, Alemania : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; 8410)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!
Descripción
Resumen:Selección de ponencias del vigésimo tercer Simposio Europeo sobre Programación, celebrado como parte de las décimas séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, en Grenoble, Francia, en abril de 2014. Los artículos están organizados en secciones temáticas acerca de sistemas de tipos, compilación verificada, verificación del programa, semántica, concurrencia, tipos lineales, cálculos de redes y procesos, y análisis de programas.
Descripción física:1 libro electrónico en línea (XIV, 576 p.)
1 recurso en línea
ISBN:978-3-642-54833-8
Acceso:Licencias ilimitadas