Tallenna
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);
- Alaotsikko
- 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
- Toimittaja
- Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin
- Painos
- 2014 ed.
- ISBN
- 9783319097039
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.7.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 366
