Logic Based Program Synthesis & Transformation

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

This is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.