ISBN 9783540377566,Static Analysis

Static Analysis

Rs6695

Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9783540377566

ISBN-10 3540377565
Binding

Paperback

Number of Pages 464 Pages
Subject

Computer programming / software development

Constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. This book addresses various aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, and security and safety.

More from Author

Scroll