Spar
Descriptional Complexity of Formal Systems
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);
- Undertittel
- 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
- Opplag
- 2014 ed.
- ISBN
- 9783319097039
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.7.2014
- Antall sider
- 366
