When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Logic-based Program Synthesis and Transformation : 31st International Symposi...
- Item No : 388321847651
- Condition : Like New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $75.03
-
* Item Description
- Logic-based Program Synthesis and Transformation : 31st International Symposium, Lopstr 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings, Paperback by De Angelis, Emanuele (EDT); Vanhoof, Wim (EDT), ISBN 3030988686, ISBN-13 9783030988685, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, th also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- The Lost Super Foods
- $ 37.00
- The Self-Sufficient Backyard
- $ 37.00
- A Navy Seals BUG IN GUIDE
- $ 39.00
- Childrens Books Phonics Lot 60
- $ 34.99
