{"product_id":"thinking-programs-9783031997044","title":"Thinking Programs","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003ePart 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.\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Springer International Publishing AG","offers":[{"title":"Default Title","offer_id":53195508154711,"sku":"9783031997044","price":56.99,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/thinking-programs-9783031997044","provider":"Book Curl","version":"1.0","type":"link"}