{"product_id":"9781402042225","title":"Modern Formal Methods and Applications","description":"\u003cp\u003eThis book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52528347382071,"sku":"00000_00000_00000_00000","price":644.74,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9781402042225-1.jpg?v=1783194104","url":"https:\/\/kinokuniya.com.my\/products\/9781402042225","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}