{"product_id":"geza-tarnai-forms-format-2010-formal-methods-for-automation-and-safety-in-railway-and-automotive-systems-9783642142604","title":"FORMS\/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53752574837078,"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_9783642142604_1_bd9957a8-a6ef-4892-aff3-d25514f6578d.jpg?v=1781793752","url":"https:\/\/www.momoxbooks.com\/products\/geza-tarnai-forms-format-2010-formal-methods-for-automation-and-safety-in-railway-and-automotive-systems-9783642142604","provider":"momoxbooks","version":"1.0","type":"link"}