Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Lecture Notes in Computer Science - Jens Palsberg - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642032363 - 20 de julio de 2009
En caso de que portada y título no coincidan, el título será el correcto

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de jul.
Añadir a tu lista de deseos de iMusic

The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.


371 pages, Illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de julio de 2009
ISBN13 9783642032363
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 362
Dimensiones 155 × 235 × 20 mm   ·   566 g
Lengua Francés  
Editor Palsberg, Jens
Editor Su, Zhendong

Mas por Jens Palsberg

Mostrar todo

Mere med samme udgiver