{"product_id":"behavioural-types-from-theory-to-tools","title":"Behavioural Types","description":"Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.","brand":"River Publishers","offers":[{"title":"Default Title","offer_id":50090126606680,"sku":"9788793519824","price":94.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9788793519824.jpg?v=1780402560","url":"https:\/\/agendabookshop.com\/products\/behavioural-types-from-theory-to-tools","provider":"Agenda Bookshop","version":"1.0","type":"link"}