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...
Guardado en:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Procedimiento de la conferencia Bog |
| Sprog: | engelsk |
| Udgivet: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serier: | (Lecture Notes in Computer Science ;
8901) |
| Fag: | |
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000561602 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310131926.768 | ||
| 020 | |a 978-3-319-14125-1 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Logic-Based Program Synthesis and Transformation ( |n 21° : |d 2013 : |c Madrid, España) | ||
| 245 | 1 | 0 | |a Logic-Based Program Synthesis and Transformation : |b 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers / |c Ed. de G. Gupta, R. Peña. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XII, 237 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8901) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a 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 software, como el desarrollo basado en componentes, arquitectura del desarrollo mediante agentes, refinamiento de programas, entre otros. | ||
| 649 | |a XX | ||
| 650 | |a Código Fuente | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Depuración (Software) | ||
| 650 | |a Programación Estructurada (Software) | ||
| 650 | |a Programación Lógica (Software) - |x Tema Principal | ||
| 650 | |a Programación (Software) - |x Congresos - |x Tema Principal | ||
| 650 | |a Algoritmos | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Ingeniería Computacional | ||
| 650 | |a Matemáticas | ||
| 700 | |a Gupta, Gopal |e (edición) | ||
| 700 | |a Peña, Ricardo |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-14125-1 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 561602-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000561602 | ||