{"product_id":"9783540468431","title":"Central European Functional Programming School : First Central European Summer School, CEFP 2005, Budapest, 2005, Revised Selected Lectures (Lecture Notes in Computer Science) \u003cVol. 4164\u003e","description":"\u003cp\u003eGeneric Editors for the World Wide Web.- Fully Automatic Testing with Functions as Specifications.- Functional Array Programming in SaC.- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.- The Essence of Dataflow Programming.- Temporal Properties of Clean Programs Proven in Sparkle-T.- Tutorial on Subtype Marks.- Designing Distributed Computational Skeletons in D-Clean and D-Box.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":42566487867467,"sku":"00000_00000_00000_00000","price":1960.57,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9783540468431","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}