徐国建著2010 年出版450 页ISBN:9787511810250
本书主要汇集了作者过去二十多年中对外国法、比较法、国际私法以及国际统一私法的研究成果。其中一些论文系国内开拓性的研究成果,被认为是国内国际私法学研究的经典之作,并一直为国际私法研究生所必读。...
毛纲源编2004 年出版781 页ISBN:7560931731
本书根据最新考研数学大纲的要求,将历年考题进行分类,归纳、并总结多种解题方法和技巧,有助于考生高效学习,提高应试能力和水平,同时还有助于开阔考生的解题思路使所学知识融会贯通,以达到灵活解题的综合能力。...
赵正旭,温晋杰,赵卫华著2015 年出版145 页ISBN:9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中,Z语言精确的描述软件系统”做什么”...