Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers: 12042 (Lecture Notes in Computer Science)

by Maurizio Gabbrielli (Editor), Maurizio Gabbrielli (Editor)

New
Paperback
2020
$59.31

$59.31

Save:$3.87 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 280
Edition: 1st ed. 2020
Publisher: Springer
Published: 22 Apr 2020
ISBN 10: 303045259X
ISBN 13: 9783030452599

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers: 12042 (Lecture Notes in Computer Science)

New

$59.31

$59.31

More Information