{"product_id":"behavioural-types-from-theory-to-tools-river-publishers-9788793519824-simon-gay","title":"Behavioural Types: from Theory to Tools","description":"\u003cp\u003eDiscover the innovative world of programming with \u003cstrong\u003eBehavioural Types: from Theory to Tools\u003c\/strong\u003e by \u003cstrong\u003eSimon Gay\u003c\/strong\u003e. Published by \u003cstrong\u003eRiver Publishers\u003c\/strong\u003e in 2017, this comprehensive hardback spans 250 pages, delving into the development of programming languages and software tools crafted by members of the esteemed COST Action IC1201. This European research network, active from October 2012 to October 2016, focuses on enhancing the reliability of large-scale software systems through the application of behavioral types.\u003c\/p\u003e \u003cp\u003eWhether you're a seasoned programmer or an aspiring developer, this book provides essential insights into the theory and practical tools that can elevate your software projects. Explore the intersection of theory and application, and equip yourself with the knowledge to create robust and reliable software solutions. Don't miss out on this vital resource for anyone interested in the future of programming languages!\u003c\/p\u003e","brand":"Simon Gay","offers":[{"title":"Default Title","offer_id":52279446569302,"sku":"9788793519824","price":99.42,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9788793519824.jpg?v=1767823429","url":"https:\/\/www.bookshop.ee\/products\/behavioural-types-from-theory-to-tools-river-publishers-9788793519824-simon-gay","provider":"Bookshop","version":"1.0","type":"link"}