{"product_id":"9783030509941","title":"Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Lecture Notes in Computer Science 12165) (1st ed. 2020. 2020. xiii, 181 S. 141 SW-Abb., 30 Farbabb. 235 mm)","description":"\u003cp\u003eXIII, 181 p. 171 illus., 30 illus. in color.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48820171997419,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783030509941","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}