深圳市瞭望实业有限公司,图书批发,图书零售,正版图书,图书馆书架,图书管理系统,图书防盗系统,公务员用书,中小学教材,CNMARC

	马列主义、毛泽东思想、邓小平理论

	哲学、宗教

	社会科学总论

	政治、法律

	经济

	文化、科学、教育、体育

	语言、文字

	文学

	艺术

	历史、地理

	自然科学总论

	数理科学和化学

	天文学、地球科学

	生物科学

	医药、卫生

	农业科学

	工业技术

	自动化技术、计算机技术

	化学工业

	建筑科学

	水利工程

	交通运输

	航空、航天

	环境科学、安全科学

	综合性图书

	军事

类图书详细说明

详细说明：

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义,程序正确性证明的发展历程,程序部分正确性证明的不变式断言法、子目标断言法和公理化方法,程序终止性证明的良序集方法和不动点方法,以及程序完全正确性证明的公理化方法等。