Behavioural types: from theory to tools
Éditeur :
River Publishers
ISBN :
9788793519824
Date de publication :
31 juil. 2017
Dimensions :
23,4 x 15,6 cm
Poids :
920 g
Langue :
Anglais
Pays d'origine :
Danemark
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.