Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 2013年3月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

David Clarke
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering

価格
¥ 8.813
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月19日 - 2026年1月29日

お客様の声：

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

This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.

523 pages, 134 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2013年3月26日
ISBN13 9783642369452
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 523
寸法 156 × 234 × 26 mm   ·   725 g
言語 ドイツ語  
編集者 Clarke, David
編集者 Noble, James
編集者 Wrigstad, Tobias

David Clarkeの他の作品を見る

すべて表示

David Clarkeのすべてを見る ( 例： Paperback Book , Hardcover Book , Book , CD および LP )