{"title":"Marko Van Eekelen","description":null,"products":[{"product_id":"trends-in-functional-programming-volume-6-book-marko-van-eekelen-9781841501765","title":"Trends in Functional Programming Volume 6","description":"This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50468716839185,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50468718838033,"sku":"GOR013788781","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50468720476433,"sku":"GOR004373888","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408894161169,"sku":"NLS9781841501765","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/184150176X.jpg?v=1791908504"},{"product_id":"interactive-theorem-proving-book-marko-van-eekelen-9783642228629","title":"Interactive Theorem Proving","description":"This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. \u003cbr\u003eThe 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120862163217,"sku":"NLS9783642228629","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642228629.jpg?v=1791892191"},{"product_id":"foundational-and-practical-aspects-of-resource-analysis-book-marko-van-eekelen-9783319465586","title":"Foundational and Practical Aspects of Resource Analysis","description":"This book constitutes the proceedings of the 4th International  Workshop on Foundational and Practical Aspects of Resource Analysis,  FOPARA 2015, held in London, UK, in April 2015. The 6 papers  presented in this volume were carefully reviewed and selected from 7 submissions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52430602797329,"sku":"NLS9783319465586","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319465586.jpg?v=1791983402"},{"product_id":"foundational-and-practical-aspects-of-resource-analysis-book-marko-van-eekelen-9783642153303","title":"Foundational and Practical Aspects of Resource Analysis","description":"ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53657327730961,"sku":"NIN9783642153303","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642153303.jpg?v=1793102592"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-marko-van-eekelen.oembed","provider":"World of Books ","version":"1.0","type":"link"}