• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Paperback

FictionProgramming

ISBN10: 3642331246
ISBN13: 9783642331244
Publisher: Springer
Published: Aug 3 2012
Pages: 457
Weight: 1.44
Height: 0.95 Width: 6.14 Depth: 9.21
Language: English

Static analysis.- Including abstract domains.- Abstract interpretation.- Abstract testing.- Data flow analysis.- Bug detection.- Program transformation.- Program verification.- Security analysis and type checking.

Also in

Fiction