Tell your friends about this item:
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2017 edition
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers - Lecture Notes in Computer Science
361 pages, 75 Illustrations, black and white; XVI, 361 p. 75 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 25, 2017 |
| ISBN13 | 9783319631387 |
| Publishers | Springer International Publishing AG |
| Pages | 361 |
| Dimensions | 150 × 220 × 10 mm · 5.74 kg |
| Language | German |
| Editor | Hermenegildo, Manuel V |
| Editor | Lopez-Garcia, Pedro |