Martin Kutrib
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Theoretical Computer Science and General Issues Martin Kutrib 2012 edition

Name: Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Theoretical Computer Science and General Issues
Price: 55.99 USD
Availability: OutOfStock
Author: Martin Kutrib

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Theoretical Computer Science and General Issues

Martin Kutrib

2012 edition

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

Publisher Marketing: 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. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	18 de julio de 2012
ISBN13	9783642316227
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	319
Dimensiones	155 × 235 × 17 mm · 467 g
Lengua	Francés
Editor	Kutrib, Martin
Editor	Moreira, Nelma
Editor	Reis, Rogerio