Conte aos seus amigos sobre este item:
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science
Radhia Cousot
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science
Radhia Cousot
Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis.
473 pages, 131 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 9 de setembro de 2010 |
| ISBN13 | 9783642157684 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 473 |
| Dimensões | 155 × 231 × 25 mm · 725 g |
| Idioma | French |
| Editor | Cousot, Radhia |
| Editor | Martel, Matthieu |
![Cover for Radhia Cousot · Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/970/9783540242970.jpg?radhia-cousot-2005-verification-model-checking-and-abstract-interpretation-6th-international-conference-vmcai-2005-paris-france-january-17-19-2005-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1556272701)
