{"product_id":"9781025143552","title":"An Application of Automated Theorem Provers to Computer System Security","description":"","brand":"Hutson Street Press","offers":[{"title":"Default Title","offer_id":49883680211192,"sku":"00000_00000_00000_00000","price":35.15,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9781025143552","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}