Formal methods of program verification and specification

书目详细资料
其他作者:	Berg, H. K.
格式:	图书
语言:	英语
出版:	Englewood Cliffs, N.J. Prentice-Hall c1982.
主题:	Computer programs > Specification. Computer programs > Verification.