Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Paperback, 2014 ed.)
Loot Price: R2,604
Discovery Miles 26 040
|
|
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Paperback, 2014 ed.)
Series: Theoretical Computer Science and General Issues, 8723
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the
21st International Symposium on Static Analysis, SAS 2014, held in
Munich, Germany, in September 2014. The 20 revised full papers were
selected from 53 submissions and are presented together with 3
invited talks. The papers address all aspects of static analysis,
including abstract interpretation, abstract testing, bug detection,
data flow analysis, model checking, program transformation, program
verification, security analysis, and type checking.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.