
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) |