Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science - Radhia Cousot - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540617396 - 1996年9月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Radhia Cousot
Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science

価格
₪ 181
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

This work constitutes the proceedings of the Third International Static Analysis Symposium, SAS '96. Among the topics addressed are: program analysis; incremental analysis; abstract representation; partial evaluation; logic programming; functional programming; and constraint programming.

408 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年9月11日
ISBN13 9783540617396
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 408
寸法 156 × 234 × 21 mm   ·   566 g
言語 ドイツ語  
編集者 Cousot, Radhia
編集者 Schmidt, David A.
すべて表示

Radhia Cousotの他の作品を見る

Radhia Cousotのすべてを見る ( 例： Paperback Book )