Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)

  • 出版商: Springer
  • 出版日期: 2015-09-14
  • 售價: $2,630
  • 貴賓價: 9.5$2,499
  • 語言: 英文
  • 頁數: 352
  • 裝訂: Paperback
  • ISBN: 3662482878
  • ISBN-13: 9783662482872
  • 相關分類: Computer-Science 計算機概論

下單後立即進貨 (約1週~2週)

相關主題

商品描述

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

類似商品