Mendeley出力
＜電子ブック＞
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
| 責任表示 | |
|---|---|
| 著者 | |
| 本文言語 | |
| 出版者 | |
| 出版年 | |
| 出版地 | |
| 関連情報 | |
| 目次 | Invited talks Program and system verification Security and safety Pointer analysis Abstract interpretation and algorithms Shape analysis Abstract domain and data structures Shape analysis and logic Termination analysis. |
| 冊子版へのリンク | http://hdl.handle.net/2324/1001173787 |
| 本文を見る | Full text available from SpringerLINK Lecture Notes in Computer Science (2015) |
詳細
| レコードID | |
|---|---|
| 刊行頻度 | |
| 主題 | |
| SSID | |
| LCCN | |
| NBN | |
| eISBN | |
| 注記 | |
| 登録日 | 2020.06.27 |
| 更新日 | 2020.06.28 |