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...
Guardado en:
| Autores corporativos: | , |
|---|---|
| Otros autores: | |
| 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: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| 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 |