An introduction to formal program verification


名称	An introduction to formal program verification

索引号	TP31/E90176
分类号	TP31 TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Mili、 Ali.、
出版社	New York : Van Nostrand Reinhold Co., 1985.
ISBN
页数	xii, 291 p. ; 24 cm.
价格
标签
简介
注解