Gå direkt till innehållet
Static Analysis
Spara

Static Analysis

Lägsta pris på PriceRunner
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.
Undertitel
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Upplaga
2014 ed.
ISBN
9783319109350
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2014-08-20
Sidor
337