{"product_id":"9783319030760","title":"Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science \/ Programming and Software Engineering .8244) (2013. 2013. xx, 3","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING","offers":[{"title":"Default Title","offer_id":49751036231928,"sku":"00000_00000_00000_00000","price":107.69,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9783319030760","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}