Tell your friends about this item:
Logic-Based Program Synthesis and Transformation Robert Glück
Price
HK$ 480
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Sep 8 - 14
Get notified about new Robert Glück releases
Our customers say:
Add to your iMusic wish list
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Marie Ottilie Frenkel · Nerven wie Drahtseile: Tipps aus der Sportpsychologie - essentials (Paperback Book) [1. Aufl. 2021 edition] (2023)](https://imusic.b-cdn.net/images/item/original/510/9783658268510.jpg?marie-ottilie-frenkel-2023-nerven-wie-drahtseile-tipps-aus-der-sportpsychologie-essentials-paperback-book&class=scaled&v=1700282991)
![Cover for Joseph Zajda · Globalisation, Ideology and Neo-Liberal Higher Education Reforms - Globalisation, Comparative Education and Policy Research (Paperback Book) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/531/9789402417531.jpg?joseph-zajda-2021-globalisation-ideology-and-neo-liberal-higher-education-reforms-globalisation-comparative-education-and-policy-research-paperback-book&class=scaled&v=1622229829)
![Cover for Precarized Society: Social Transformation of the Welfare State - Prekarisierung und soziale Entkopplung - transdisziplinare Studien (Paperback Book) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/127/9783658224127.jpg?2020-precarized-society-social-transformation-of-the-welfare-state-prekarisierung-und-soziale-entkopplung-transdisziplinare-studien-paperback-book&class=scaled&v=1592914303)
![Cover for Dionissios T. Hristopulos · Random Fields for Spatial Data Modeling: A Primer for Scientists and Engineers - Advances in Geographic Information Science (Hardcover Book) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/160/9789402419160.jpg?dionissios-t-hristopulos-2020-random-fields-for-spatial-data-modeling-a-primer-for-scientists-and-engineers-advances-in-geographic-information-science-hardcover-book&class=scaled&v=1612626264)
![Cover for Moshe Dror · Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications - International Series in Operations Research & Management Science (Hardcover Book) [2002 edition] (2019)](https://imusic.b-cdn.net/images/item/original/633/9780792374633.jpg?moshe-dror-2019-modeling-uncertainty-an-examination-of-stochastic-theory-methods-and-applications-international-series-in-operations-research-management-science-hardcover-book&class=scaled&v=1422354786)
![Cover for Kopf · The Dao Companion to Japanese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/232/9789048129232.jpg?kopf-2019-the-dao-companion-to-japanese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1564419636)
![Cover for Simon Marius and His Research - Historical & Cultural Astronomy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/209/9783319926209.jpg?2019-simon-marius-and-his-research-historical-cultural-astronomy-hardcover-book&class=scaled&v=1541913791)
![Cover for Bo-Ping Zhou-Pu-Xuan Lu · Diagnostic Imaging of Emerging Infectious Diseases (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/359/9789402413359.jpg?bo-ping-zhou-pu-xuan-lu-2019-diagnostic-imaging-of-emerging-infectious-diseases-paperback-book&class=scaled&v=1750335910)
![Cover for Papier · Optimization of Rental Systems (Book) [1st ed. 2007, reprint 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/128/9783658243128.jpg?papier-2019-optimization-of-rental-systems-book&class=scaled&v=1608824535)
![Cover for Resilience in Social, Cultural and Political Spheres (Paperback Book) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/281/9783658153281.jpg?2019-resilience-in-social-cultural-and-political-spheres-paperback-book&class=scaled&v=1496684089)
![Cover for Youru Wang · Dao Companion to Chinese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/386/9789048129386.jpg?youru-wang-2019-dao-companion-to-chinese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1539862459)
![Cover for Handbook of Potentiality (Paperback Book) [Softcover reprint of the original 1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/428/9789402416428.jpg?2018-handbook-of-potentiality-paperback-book&class=scaled&v=1609620595)
![Cover for Handbook of Legal Reasoning and Argumentation (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/336/9789402416336.jpg?2018-handbook-of-legal-reasoning-and-argumentation-paperback-book&class=scaled&v=1609204583)
![Cover for Anke Luneburg · Auf Dem Weg Zur Fuhrungskraft: Die Innere Haltung Entwickeln (Paperback Book) [1. Aufl. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/857/9783658219857.jpg?anke-luneburg-2018-auf-dem-weg-zur-fuhrungskraft-die-innere-haltung-entwickeln-paperback-book&class=scaled&v=1582906646)
![Cover for Moenninghoff · The Regulation of Systemically Relevant Banks (Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/100/9783658238100.jpg?moenninghoff-2018-the-regulation-of-systemically-relevant-banks-book&class=scaled&v=1545843733)
![Cover for Rokkam Madhavi · Digenetic Trematodes of Indian Marine Fishes (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/339/9789402415339.jpg?rokkam-madhavi-2018-digenetic-trematodes-of-indian-marine-fishes-hardcover-book&class=scaled&v=1541092522)
![Cover for Exklusive Bildungskarrieren von Jugendlichen und ihre Peers am Uebergang in Hoch (Book) [1. Aufl. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/743/9783658231743.jpg?2018-exklusive-bildungskarrieren-von-jugendlichen-und-ihre-peers-am-uebergang-in-hoch-book&class=scaled&v=1599311564)
![Cover for Ferdinand Kiemeneij-Yujie Zhou-Wei Liu-Shigeru Sai · Transradial Approach for Percutaneous Interventions (Paperback Book) [Softcover Reprint of the Original 1st 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/335/9789402413335.jpg?ferdinand-kiemeneij-yujie-zhou-wei-liu-shigeru-sai-2018-transradial-approach-for-percutaneous-interventions-paperback-book&class=scaled&v=1612694911)
![Cover for Gack · Service Innovation in Agricultural Business (Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/703/9783658235703.jpg?gack-2018-service-innovation-in-agricultural-business-book&class=scaled&v=1542049786)
![Cover for Roads to Music Sociology - Musik und Gesellschaft (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/789/9783658222789.jpg?2018-roads-to-music-sociology-musik-und-gesellschaft-paperback-book&class=scaled&v=1541798980)
![Cover for Jeff WT Kan · Quantitative Methods for Studying Design Protocols (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/561/9789402414561.jpg?jeff-wt-kan-2018-quantitative-methods-for-studying-design-protocols-paperback-book&class=scaled&v=1621569898)
![Cover for Lehmann · Exploring Service Productivity (Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/357/9783658230357.jpg?lehmann-2018-exploring-service-productivity-book&class=scaled&v=1536434084)
![Cover for Karrie A. Shogren-Todd D. Little-Shane J. Lopez-Mi · Development of Self-Determination Through the Life-Course (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/738/9789402414738.jpg?karrie-a-shogren-todd-d-little-shane-j-lopez-mi-2018-development-of-self-determination-through-the-life-course-paperback-book&class=scaled&v=1610001895)
![Cover for Jianmin Xu-Yunshi Zhong-Xinyu Qin · Multidisciplinary Management of Liver Metastases in Colorectal Cancer: Early Diagnosis and Treatment (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/004/9789402414004.jpg?jianmin-xu-yunshi-zhong-xinyu-qin-2018-multidisciplinary-management-of-liver-metastases-in-colorectal-cancer-early-diagnosis-and-treatment-paperback-book&class=scaled&v=1614251834)
![Cover for Handbook of Legal Reasoning and Argumentation (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/513/9789048194513.jpg?2018-handbook-of-legal-reasoning-and-argumentation-hardcover-book&class=scaled&v=1553681547)
![Cover for CyberGIS for Geospatial Discovery and Innovation - GeoJournal Library (Hardcover Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/292/9789402415292.jpg?2018-cybergis-for-geospatial-discovery-and-innovation-geojournal-library-hardcover-book&class=scaled&v=1544637712)
![Cover for EChO - Exoplanet Characterisation Observatory (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/158/9789402414158.jpg?2018-echo-exoplanet-characterisation-observatory-paperback-book&class=scaled&v=1622935573)