Fortell venner om denne varen:
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Lecture Notes in Computer Science
Radhia Cousot
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 9. september 2010 |
| ISBN13 | 9783642157684 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 473 |
| Mål | 155 × 231 × 25 mm · 725 g |
| Språk | Fransk |
| Redaktør | Cousot, Radhia |
| Redaktør | 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 (Pocketbok) [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-pocketbok&class=scaled&v=1556272701)
