{"product_id":"schreiner-wolfgang-thinking-programs-logical-modeling-and-reasoning-about-languages-data-computations-and-executions-texts-monographs-in-symbolic-computation-9783030805098","title":"Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts \u0026 Monographs in Symbolic Computation)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53804237816150,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/schreiner-wolfgang-thinking-programs-logical-modeling-and-reasoning-about-languages-data-computations-and-executions-texts-monographs-in-symbolic-computation-9783030805098","provider":"momoxbooks","version":"1.0","type":"link"}