预订 Static Analysis 9783642032363 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642032363 作者: Jens Palsberg 装帧: 平装-胶订 页数: 359页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2009-07-20 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 16th International Sympos
¥1069
【预订】Semantics and Algebraic Specification 9783642041631 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642041631 Author 作者 Jens Palsberg Format 版本 平装-胶订 Pages Number 页数 409页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-08-28 Shipping Weight 商品重量 640g Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter’s coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter’s many technical contributions and they were a tribute to his lasting impact on
¥520.00
海外直订Static Analysis: 16th International Symposium, SAS 2009,
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Modern Compiler Implementation in Java 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥1404.9
海外直订医药图书Static Analysis: 7th International Symposium, SAS 20
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Semantics and Algebraic Specification 9783642041631 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642041631 作者: Jens Palsberg 装帧: 平装-胶订 页数: 409页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2009-08-28 重量: 1g 语种: 其它(含多语) 内容简介 This Festschrift volume, published to honor Peter D. Mosses on the occasion of
¥1263
【预订】Static Analysis 9783642032363 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642032363 Author 作者 Jens Palsberg University of California Los Angeles Dept. C Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 569g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program
¥520.00
【预订】Static Analysis 9783540676683 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540676683 Author 作者 Palsberg Format 版本 平装-胶订 Pages Number 页数 433页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-06-14 Language 语种 英语
¥520.00