{"product_id":"christoph-walther-semantik-und-programmverifikation-teubner-texte-zur-informatik-34-band-34-9783519003366","title":"Semantik und Programmverifikation (Teubner Texte zur Informatik, 34, Band 34)","description":null,"brand":"B.G. Teubner Verlag","offers":[{"title":"Default Title","offer_id":53748270399830,"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_9783519003366_1.jpg?v=1781790357","url":"https:\/\/www.momoxbooks.com\/products\/christoph-walther-semantik-und-programmverifikation-teubner-texte-zur-informatik-34-band-34-9783519003366","provider":"momoxbooks","version":"1.0","type":"link"}