Envíos gratuitos - pago seguro - devoluciones garantizadas

¿Te gusta este producto? Si es así, compártelo con tus amigos.

Descripción

This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Contribuyente

Editor Rocco De Nicola

Información

DUIN H6GBAADC0A8

GTIN 9783540713142

Fecha de aparición 08.03.2007

Idioma Inglés

Número de páginas 542

Product type Libro de bolsillo

Dimensión 235 x 155 x 155  mm

Peso del producto 1720 g

Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Rocco De Nicola

112,88 €

Vendedor: Dodax EU

Fecha de entrega: entre martes, 24. diciembre y jueves, 26. diciembre

Condición: Nuevo

IVA incluído - Envío GRATIS
1
Agregar a la cesta Agregar a la cesta
112,88 €
IVA incluído - Envío GRATIS