Behavioural Types
River Publishers, 2017
124,75 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9788793519824
- ISBN-10
- 8793519826
- Publisher
- River Publishers
- Year
- 2017
- Publication date
- 2017-07-31
- Pages
- 410
- Dimensions
- 234x156x
- Weight
- 920