Recomienda este artículo a tus amigos:
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Lecture Notes in Computer Science Jens Palsberg 2009 edition
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Lecture Notes in Computer Science
Jens Palsberg
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 todoMere med samme udgiver
Ver todo de Jens Palsberg ( Ej. Paperback Book )