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...
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Materiały konferencyjne Książka |
| Język: | angielski |
| Wydane: |
Cham, Suiza :
Springer,
2014, c2014
|
| Seria: | (Lecture Notes in Computer Science ;
8901) |
| Hasła przedmiotowe: | |
| Dostęp online: | Ver documento en línea |
Podobne zapisy: Logic-Based Program Synthesis and Transformation :
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- The Compiler Design Handbook : Optimizations and Machine Code Generation /
- Introducción a la programación /