Markus Holzer
Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Giessen / Limburg, Germany, July 25-27, 2011. Proceedings - Lecture Notes in Computer Science Markus Holzer 2011 edition

Name: Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Giessen / Limburg, Germany, July 25-27, 2011. Proceedings - Lecture Notes in Computer Science
Price: 55.49 USD
Availability: OutOfStock
Author: Markus Holzer

Price

$ 55.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Giessen / Limburg, Germany, July 25-27, 2011. Proceedings - Lecture Notes in Computer Science

Markus Holzer

2011 edition

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);

Publisher Marketing: Offers proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011. This title covers topics such as: trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; and, circuit complexity of Boolean functions and related measures.

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 18, 2011
ISBN13	9783642225994
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	329
Dimensions	155 × 235 × 18 mm · 476 g
Language	French
Editor	Holzer, Markus
Editor	Kutrib, Martin
Editor	Pighizzini, Giovanni