Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /

Ponencias seleccionadas del tercer Taller Internacional sobre Aspectos Fundamentales y Prácticos del Análisis de Recursos, realizado en Bertinoro, Italia, en agosto de 2013. Los artículos incluídos son los siguientes: Complejidad Certificada; Sobre la integración modular de la semántica abstracta pa...

Täydet tiedot

Bibliografiset tiedot

Yhteisötekijä:	International Workshop on Foundational and Practical Aspects of Resource Analysis ( Bertinoro, Italia)
Muut tekijät:	Lago, Ugo Dal (edición) (edición), Peña, Ricardo (edición) (edición)
Aineistotyyppi:	Konferenssijulkaisu Kirja
Kieli:	englanti
Julkaistu:	Cham, Suiza : Springer, 2014, c2014
Sarja:	(Lecture Notes in Computer Science ; 8552)
Aiheet:	Intérpretes (Software) Compiladores (Software) Programación (Software) Análisis de Datos Complejidad Computacional Análisis Estadístico Probabilidad Paquetes (Software) - > Prueba y Medición Ingeniería de Software - > Congresos - > Tema Principal Ingeniería de Software Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional Matemáticas
Linkit:	Ver documento en línea
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!