陆汝钤著2017 年出版1856 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
王汝梅著2007 年出版274 页ISBN:9787538720518
本书分12讲,从《金瓶梅》的读法、版本、结构、人物等多方面解读这部奇书,为当代青年认识、学习、研究这部巨著提供了新途径、新方法。书中配有百幅珍贵照片。...