Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de julio de 2017 |
| ISBN13 | 9788793519824 |
| Editores | River Publishers |
| Páginas | 250 |
| Dimensiones | 150 × 220 × 20 mm · 748 g |
| Editor | Gay, Simon (University of Glasgow, UK) |
| Editor | Ravara, Antonio (Universidade Nova de Lisboa, Portugal) |