{"product_id":"9783031314759","title":"Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science 13160) (1st ed. 2023. 2023. xiv, 351 S. XIV, 35","description":"\u003cp\u003eXIV, 351 p. 70 illus., 26 illus. in color.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING","offers":[{"title":"Default Title","offer_id":48848200204523,"sku":"00000_00000_00000_00000","price":256.34,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031314759","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}