Conte aos seus amigos sobre este item:
Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics
Behavioural Types: from Theory to Tools - River Publishers Series in Automation, Control and Robotics
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de julho de 2017 |
| ISBN13 | 9788793519824 |
| Editoras | River Publishers |
| Páginas | 250 |
| Dimensões | 748 g |
| Editor | Gay, Simon (University of Glasgow, UK) |
| Editor | Ravara, Antonio (Universidade Nova de Lisboa, Portugal) |