Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 靜態分析：第十四屆國際研討會，SAS 2007，丹麥孔根斯林比，2007年8月22-24日，會議論文集（計算機科學講義）

***

出版商: Springer
出版日期: 2007-08-09
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 469
裝訂: Paperback
ISBN: 3540740600
ISBN-13: 9783540740605
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This volume presents the refereed proceedings from the 14th International Symposium on Static Analysis. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type-based analysis, and verification systems.