Logic-Based Program Synthesis and Transformation
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | Maurizio Gabbrielli |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 22, 2020 |
| Páginas | 277 |
| Formato | paperback |
| ISBN-13 | 9783030452599 |
| ISBN-10 | 303045259X |
| Número de Cutter | G112l |