Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (Lecture Notes in Computer Science)
暫譯: 靜態分析：第四屆國際研討會，SAS '97，法國巴黎，1997年9月8-10日，會議錄（計算機科學講義）

***

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 1997-08-27
  • 售價: $2,470
  • 貴賓價: 9.5 折 $2,347
  • 語言: 英文
  • 頁數: 424
  • 裝訂: Paperback
  • ISBN: 3540634681
  • ISBN-13: 9783540634683
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

商品描述(中文翻譯)

本書呈現了1997年9月在法國巴黎舉行的第四屆國際靜態分析研討會（SAS '97）的經過審核的會議論文集。這23篇經修訂的論文是從61篇高品質的投稿中選出的，並且每篇論文至少經過三次評審。此外，還包括一個系統演示、三個海報以及六位領先科學家的邀請貢獻。這些論文按主題分為程序語言、邏輯程式設計、併發性和終止等部分。

類似商品