Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France.

• 資料種別: 図書
• ISBN: 9783642331244 (pbk. : alk. paper); 9783642331251 (e-ISBN)
• ISSN: 16113349 (e-ISSN)
• ISSN（シリーズ）: 03029743
• タイトル: Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France.
• シリーズタイトル: Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science
• タイトル標目: Lecture notes in computer science. Advanced research in computing and software science.; LNCS sublibrary. SL 2, Programming and software engineering.
• 著者標目: International Static Analysis Symposium (19th : 2012 : Deauville, France); Miné, Antoine.; Schmidt, David A., 1953 May 10-
• 出版事項: Berlin : Springer; New York : Springer
• 出版年月日等: c2012.
• 出版年（W3CDTF）: 2012
• 数量: xi, 455 p.
• 形態の詳細: ill.
• 大きさ: 24 cm.
• 出版地（国名コード）: DE; US
• 本文の言語コード: eng
• 件名標目: Computer programming--Congresses.; Programming languages (Electronic computers)--Congresses.
• LCC: QA76.6
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Papers and abstracts.; "(...) the 19th International Static Analysis Symposium was held together with three workshops. The 4th Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012) and the Third Workshop on Static Analysis and Systems Biology (SASB 2012) (...) The Third Workshop on Tools for Automatic Program AnalysiS (TAPAS 2012) (...)" -- pref.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-13-609
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 024005210; http://id.ndl.go.jp/bib/024005210
• LC control number: 2012945543; https://lccn.loc.gov/2012945543
• OCLC番号: 817276874; https://www.worldcat.org/oclc/817276874
• 目録規則: 英米目録規則
• 整理区分コード: 215