分享给好友:
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
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2017年7月31日 |
| ISBN13 | 9788793519824 |
| 出版商 | River Publishers |
| 页数 | 410 |
| 商品尺寸 | 150 × 220 × 20 mm · 920 g |
| 编辑 | Gay, Simon |
| 编辑 | Ravara, Antonio |
