{"product_id":"behavioural-types-from-theory-to-tools-1","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":50194584600920,"sku":"9788770044271","price":44.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9788770044271_e46fbfef-86fd-436d-8ae4-fd4e8562345e.jpg?v=1780403449","url":"https:\/\/agendabookshop.com\/products\/behavioural-types-from-theory-to-tools-1","provider":"Agenda Bookshop","version":"1.0","type":"link"}