{"product_id":"kumar-sandeep-shukla-synthesis-of-embedded-software-frameworks-and-methodologies-for-correctness-by-construction-9781441964014","title":"Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53766492946774,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/kumar-sandeep-shukla-synthesis-of-embedded-software-frameworks-and-methodologies-for-correctness-by-construction-9781441964014","provider":"momoxbooks","version":"1.0","type":"link"}