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...
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Hội nghị đang tiến hành Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham, Suiza :
Springer,
2014, c2014
|
| Loạt: | (Lecture Notes in Computer Science ;
8901) |
| Những chủ đề: | |
| Truy cập trực tuyến: | Ver documento en línea |
Internet
Ver documento en línea| Số hiệu: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 561602-1 |
Disponible
Préstamo en línea
|
Bộ sưu tập:
Libros electrónicos en línea
|
Ghi chú:
Consultar en línea
|