Coalgebraic methods in computer science: 15th ifip wg 1.3 international workshop, cmcs 2020, colocated with etaps 2020, dublin, ireland, april 25–26, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030572006
Date de publication :
20 août 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020.