Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /

Selección de ponencias del vigésimo tercer Simposio Internacional sobre Síntesis y Transformación de Programas Basados en Lógica, celebrado en Madrid, España, en septiembre de 2013. Los artículos incluídos dan cuenta de diversos temas relacionados con los aspectos lógicos de la programación de softw...

Olles dieđut

Bibliográfalaš dieđut

Searvvušdahkki:	International Symposium on Logic-Based Program Synthesis and Transformation ( Madrid, España)
Eará dahkkit:	Gupta, Gopal (edición) (edición), Peña, Ricardo (edición) (edición)
Materiálatiipa:	Konfereansapublikašuvdna Girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham, Suiza : Springer, 2014, c2014
Ráidu:	(Lecture Notes in Computer Science ; 8901)
Fáttát:	Código Fuente Compiladores (Software) Paquetes (Software) - > Prueba y Medición Depuración (Software) Programación Estructurada (Software) Programación Lógica (Software) - > Tema Principal Programación (Software) - > Congresos - > Tema Principal Algoritmos Ingeniería de Software Desarrollo de Sistemas Ingeniería Computacional Matemáticas
Liŋkkat:	Ver documento en línea
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!