Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science Book 12561) 1st ed. 2021 Edition, Kindle Edition
Product details
| Management number | 220815015 | Release Date | 2026/05/03 | List Price | US$34.00 | Model Number | 220815015 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics. Read more
| XRay | Not Enabled |
|---|---|
| ISBN13 | 978-3030684464 |
| Edition | 1st ed. 2021 |
| Language | English |
| File size | 63.9 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 676 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Part of series | Lecture Notes in Computer Science |
| Publication date | February 12, 2021 |
| Enhanced typesetting | Enabled |
Bestseller ranking
Canvas Pads
Customers who viewed this product also viewed
Comforters & Sets
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form