Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

53.49 EUR

Der Band sammelt Beiträge aus dem internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Gießen/Limburg; er beleuchtet theoretische Fortschritte, neue logische Modelle und deren Anwendungen in der Informatik.

Marke: Springer-Verlag GmbH
ISBN: 3642225993
MPN: 58 black & white illustrations, 1 colour