Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015 | DealShopping Deutschland

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

53.49 EUR

Ein kompakter Sammelband aus dem 17. Internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Waterloo; erfasst aktuelle Forschung zu Logik, Automatentheorie und Modellprüfung mit praxisnahen Fallstudien und theoretischen Durchbrüchen.

Teilen: