Behavioural types: from theory to tools
Éditeur :
River Publishers
ISBN :
9788770044271
Date de publication :
21 oct. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
680 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.