{"product_id":"functional-and-logic-programming-springer-nature-switzerland-ag-9783030590246-15th-international-symposium-flops-2020-akita-japan-september-14-16-2020-proceedings-keisuke-nakano","title":"Functional and Logic Programming","description":"\u003cp\u003eDiscover the comprehensive insights of \u003cstrong\u003eFunctional and Logic Programming\u003c\/strong\u003e by \u003cstrong\u003eKeisuke Nakano\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2020. This first edition spans 221 pages and delves into the intricate world of declarative programming. The book meticulously covers all facets of design, semantics, and theory, while also addressing practical applications and implementations.\u003c\/p\u003e \u003cp\u003eReaders will explore essential topics such as functional programming, logic programming, and constraint programming. Additionally, it discusses formal methods, model checking, program transformation, program refinement, and type theory. Whether you are a student, educator, or professional in the field, this book serves as an invaluable resource for understanding the principles and practices of declarative programming.\u003c\/p\u003e \u003cp\u003eEnhance your knowledge and skills with this essential guide that bridges theory and application in the realm of programming.\u003c\/p\u003e","brand":"Keisuke Nakano","offers":[{"title":"Default Title","offer_id":52274135925078,"sku":"9783030590246","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030590246.jpg?v=1767812037","url":"https:\/\/www.englishbook.fi\/products\/functional-and-logic-programming-springer-nature-switzerland-ag-9783030590246-15th-international-symposium-flops-2020-akita-japan-september-14-16-2020-proceedings-keisuke-nakano","provider":"Bookshop","version":"1.0","type":"link"}