Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science - Eran Yahav - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642237010 - September 6, 2011
In case cover and title do not match, the title is correct

Eran Yahav

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science

Price
R 1,131
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 5 - 18
Christmas presents can be returned until 31 January
Add to your iMusic wish list

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.


400 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 6, 2011
ISBN13 9783642237010
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 387
Dimensions 155 × 235 × 23 mm   ·   566 g
Language French  
Editor Yahav, Eran

Show all

More by Eran Yahav