Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 靜態分析：第22屆國際研討會，SAS 2015，法國聖馬洛，2015年9月9日至11日，會議錄（計算機科學講義）

出版商: Springer
出版日期: 2015-09-14
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 352
裝訂: Paperback
ISBN: 3662482878
ISBN-13: 9783662482872
相關分類: Computer-Science

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

商品描述

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.

The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area