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 - Lecture Notes in Compu - Rocco De Nicola - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540713142 - 8 de marzo de 2007
En caso de que portada y título no coincidan, el título será el correcto

Rocco De Nicola
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 - Lecture Notes in Compu 2007 edition

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

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

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.

542 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de marzo de 2007
ISBN13 9783540713142
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 542
Dimensiones 155 × 235 × 29 mm   ·   820 g
Lengua Francés  
Editor De Nicola, Rocco

Mas por Rocco De Nicola

Mostrar todo

Mere med samme udgiver

Ver todo de Rocco De Nicola ( Ej. Paperback Book )