Books on Google Play

google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Play Pass
Personalization in Play
Settings

Privacy Policy • Terms of Service

More by Maurice Bruynooghe

Icon image Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

€54.49€38.14

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Children and family

Parent guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

All prices include VAT.