Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science - Eran Yahav - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642237010 - 2011年9月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Eran Yahav
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science

価格
¥ 10.263
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月8日 - 2026年1月20日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

400 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年9月6日
ISBN13 9783642237010
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 387
寸法 155 × 235 × 23 mm   ·   566 g
言語 フランス語  
編集者 Yahav, Eran

Eran Yahavの他の作品を見る

すべて表示

Eran Yahavのすべてを見る ( 例： Paperback Book )