Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings: 7386 (Lecture Notes in Computer Science)

by Martin Kutrib (Editor), NelmaMoreira (Editor), RogérioReis (Editor)

• New

  Paperback
  2012

  $58.78

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