{"product_id":"9781981128860","title":"Using Event-B for Critical Device Software Systems","description":"","brand":"Keith Glover","offers":[{"title":"Default Title","offer_id":47701323874622,"sku":"9781981128860","price":0.0,"currency_code":"ZAR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9781981128860.jpg?v=1707669809","url":"https:\/\/exclusivebooks.co.za\/products\/9781981128860","provider":"Exclusive Books Online","version":"1.0","type":"link"}