【预订】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
¥608.00
【3-6周达】Semantics and Algebraic Specification: Essays Dedicat 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
