Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

CAAP '90

Name: CAAP '90
Brand: Springer, Berlin
SKU: 05274144
Price: 60.39 EUR
Availability: InStock
Author: Andre Arnold
ISBN: 9783540525905

15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Andre Arnold

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05274144

Editores Springer, Berlin, abril 1990

This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming... Descripción completa

Código Libristo: 05274144

148 b

60.39 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Puente al Español - Ausgabe 2012

Hoja

24.09 €

EatSmarter! Low-Carb-Rezepte für das Abendessen EatSmarter!

Tapa blanda

9.59 €

DRUMLAND: PROGRESSIVE READING - LEVEL 1 G. DE PAOLA Libro

binding.

30.69 €

This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.