Tell your friends about this item:
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - Lecture Notes in Computer Science 2020 edition
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - Lecture Notes in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
261 pages, 228 Illustrations, color; 378 Illustrations, black and white; XVI, 261 p. 606 illus., 228
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 22, 2020 |
| ISBN13 | 9783030452599 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 261 |
| Dimensions | 150 × 220 × 10 mm · 454 g |
| Language | German |
| Editor | Gabbrielli, Maurizio |