{"product_id":"9788793519824","title":"Behavioural Types: from Theory to Tools","description":"\u003cp\u003eBehavioral type systems in programming languages support the specification and verification of programs’ properties 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.\u003c\/p\u003e\u003cp\u003e\u003ci\u003eBehavioural Types: From Theory to Tools\u003c\/i\u003e 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 behavioral type systems, this text is a valuable reference for researchers in the field as well as an introduction to the subject for graduate students and software developers.\u003c\/p\u003e","brand":"River Publishers","offers":[{"title":"Default Title","offer_id":47054221017328,"sku":"9788793519824","price":83.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9788793519824_p0.jpg?v=1763750684","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9788793519824","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}