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

价格
元 383
不含税

远程仓调货

预计送达时间 年4月23日 - 年5月5日

顾客评价：

根据欧洲消费者保护法享受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 )