Skip to content

Logic-Based Program Synthesis and Transformation

by Andy King

Writing a summary for young readers…

For young readers

Book data: Open Library