{"product_id":"9783030242572","title":"Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Lecture Notes in Computer Science .11628) (1st ed. 2019. 2019. xiv, 425 S. 478 SW-Abb., 37 Farbabb. 235","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":52393283944759,"sku":"00000_00000_00000_00000","price":297.93,"currency_code":"MYR","in_stock":true}],"url":"https:\/\/kinokuniya.com.my\/products\/9783030242572","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}