by Alexander Okhotin (Editor), Helmut Jürgensen (Editor), Juhani Karhumäki (Editor)
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);
Format: Paperback
Pages: 380
Edition: 2014
Publisher: Springer
Published: 21 Jul 2014
ISBN 10: 3319097032
ISBN 13: 9783319097039