Descriptional complexity of formal systems: 16th international workshop, dcfs 2014, turku, finland, august 5-8, 2014, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319097039
Date de publication :
21 juil. 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);