| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 1a78413d-cc42-48a1-8e33-e9d2dbbc3b42 |
| isbn | 9781000799255 (online) 9781000799392 (online) 9781003337331 (online) 9782889633654 (online) 9788793519817 (online) |
| issn | |
| language | eng |
| physical | |
| publication | – publisher: River Publishers dateOfPublication: 2017 |
| publishDate | 2017 |
| subjects | |
| title | Behavioural types : from theory to tools / editors, Simon Gay (University of Glasgow, UK), António Ravara (Universidade Nova de Lisboa, Portugal). |
| topic | Programming languages (Electronic computers) Type theory. COMPUTERS / Programming / Software Development SCIENCE / Energy |