-17% Lecture Notes in Computer Science: Logic-Based Program Synthesis and Transformation: 32nd International Symposium Lopstr 2022 Tbilisi Georgia September 21-23 2022 Proceedings (Paperback)

Lecture Notes in Computer Science: Logic-Based Program Synthesis and Transformation: 32nd International Symposium Lopstr 2022 Tbilisi Georgia September 21-23 2022 Proceedings (Paperback)

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation LOPSTR 2022 which was held during September 21-23 2022. The 8 full papers were selected from 17 submissions and cover...


Walmart

$34.12 $28.28
Delivery: $null

Go to store
Items per page