预订 Static Analysis: 16th International Symposium, SAS 2009, 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预订 Semantics and Algebraic Specification: Essays Dedicated t 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
【预订】Modern Compiler Implementation in Java 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥1404.9
【预订】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 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
预订 Modern Compiler Implementation in Java [ISBN:978052182060 【全球购】进口原版图书,约5-8周到达国内后发出
¥796.00
海外直订医药图书Static Analysis: 7th International Symposium, SAS 20
¥553.00
海外直订Static Analysis: 16th International Symposium, SAS 2009,
¥553.00
预订 Static Analysis: 7th International Symposium, SAS 2000, S 【全球购】进口原版图书,约5-8周到达国内后发出
¥648.00
【预订】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