{"product_id":"9788793519824-behavioural-types-from-theory-to-tools","title":"River Publishers - Behavioural Types: From Theory To Tools - Hardcover","description":"Binding: Hardcover\u003cbr\u003e\nDescription: 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 IC 1201: 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.\u003cbr\u003e\nTitle: Behavioural Types: From Theory To Tools\u003cbr\u003e\nBrand: River Publishers\u003cbr\u003e\nBarcode: 9788793519824\u003cbr\u003e\nPages: 250 Pages\u003cbr\u003e\nPublication Date: 7\/31\/2017\u003cbr\u003e\nSeries: River Publishers Series in Automation, Control and Robotics\u003cbr\u003e\nCategory: Programming \u0026amp; Scripting Languages: General","brand":"River Publishers","offers":[{"title":"Default Title","offer_id":49627987738929,"sku":"IN-G-9788793519824","price":98.79,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0644\/6759\/9594\/files\/9788793519824.jpg?v=1724983433","url":"https:\/\/bookdelivered.com\/products\/9788793519824-behavioural-types-from-theory-to-tools","provider":"Book Delivered","version":"1.0","type":"link"}