石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
石海鹤著2014 年出版82 页ISBN：9787549324231
本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统...
石海波，崔庆忠编著2002 年出版243 页ISBN：7102025815
本书介绍了西班牙画家霍安·米罗的一生，全书分为艺术而生、超现实主义宣言、从破坏绘画到野蛮绘画、战争与隔绝、寻找新的领域、回到梦的故乡六个部分。...
石海兰，卢平著2007 年出版224 页ISBN：7537730660
本书包括礼仪的起源和发展、礼仪的概念和功能、仪容礼仪、服饰礼仪、姿态礼仪等。
