{"product_id":"formal-verification-of-control-system-software","title":"Formal Verification of Control System Software","description":"\u003cp\u003e\n                                                            \u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\n                              \u003cstrong\u003eLength\u003c\/strong\u003e: 232 pages\u003cbr\u003e\n                              \u003cstrong\u003ePublication date\u003c\/strong\u003e: 14 May 2019\u003cbr\u003e\n                              \u003cstrong\u003ePublisher\u003c\/strong\u003e: Princeton University Press\u003cbr\u003e\n                          \u003c\/p\u003e\n                          \u003cp\u003e\u003c\/p\u003e\n                          \u003cp\u003e\n                            \u003cstrong\u003eWeight\u003c\/strong\u003e: 536g\n                            \u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 163 x 243 x 15 (mm)\n                            \u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9780691181301\n                            \n                          \u003c\/p\u003e","brand":"Pierre-Loic Garoche","offers":[{"title":"Hardback","offer_id":44101524553978,"sku":"9780691181301","price":44.51,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/37ac6ea84570bae7d521ca5114e7edcf.jpg?v=1627006172","url":"https:\/\/shulphink.com\/products\/formal-verification-of-control-system-software","provider":"Shulph Ink","version":"1.0","type":"link"}