Formal specification and software development

书目详细资料
主要作者:	Bjørner, Dines 1937-
其他作者:	Jones, Cliff B. 1944
格式:	图书
出版:	Englewood Cliffs, N.J. Prentice, Hall International 1982
丛编:	Prentice-Hall International series in computer science
主题:	Computer programming. Programming languages (Electronic computers)