{"product_id":"drechsler-rolf-advanced-formal-verification-9781402077210","title":"Advanced Formal Verification","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53745368858966,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/drechsler-rolf-advanced-formal-verification-9781402077210","provider":"momoxbooks","version":"1.0","type":"link"}