Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Static Analysis

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
BookPaperback
Ranking183956in
CHF59.00

Description

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.
More descriptions

Details

ISBN/GTIN978-3-642-15768-4
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date09/09/2010
SeriesLecture Notes in Computer Science
Series no.6337
Pages473 pages
LanguageEnglish
IllustrationsXI, 473 p. 131 illus.
Article no.2025313
CatalogsZeitfracht
Data source no.102321358
More details

Series

Author

More products from Herausgegeben:Cousot, Radhia

Subjects