{"product_id":"schreiner-wolfgang-thinking-programs-9783031997044","title":"Thinking Programs","description":"Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53750371844438,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031997044_1.jpg?v=1778902782","url":"https:\/\/www.momoxbooks.com\/products\/schreiner-wolfgang-thinking-programs-9783031997044","provider":"momoxbooks","version":"1.0","type":"link"}