Tell your friends about this item:
Behavioural Types: From Theory to Tools
Behavioural Types: From Theory to Tools
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.
250 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 31, 2017 |
| ISBN13 | 9788793519824 |
| Publishers | River Publishers |
| Pages | 410 |
| Dimensions | 150 × 220 × 20 mm · 920 g |
| Editor | Gay, Simon |
| Editor | Ravara, Antonio |