Specification in B : an introduction using the B toolkit


名称	Specification in B : an introduction using the B toolkit

索引号	TP312/E9920
分类号	TP312 TP312(程序语言、算法语言) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Lano、 K.、Haughton、 H.、
出版社	London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific Pub., c1996.
ISBN
页数	xi, 242 p. : ill. ; 23 cm.
价格
标签
简介
注解