Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings (Lecture ... Computer Science and General Issues)

by Markus Holzer (Editor), Martin Kutrib (Editor), Giovanni Pighizzini (Editor)

• New

  Paperback
  2011

  $67.21

  This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);