Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings - Emanuele De Angelis

Instant online reading.
Don't wait for delivery!

Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

By: Emanuele De Angelis (Editor), Wim Vanhoof (Editor)

Write A Review

Paperback | 13 March 2022

At a Glance

Paperback
188 Pages

Dimensions(cm)
23.5 x 15.5 x 1.02

Paperback

$89.99

or 4 interest-free payments of $22.50 with

or

Ships in 7 to 10 business days

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, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.