B语言与方法：实用形式化开发指南

作者：（英）K.Lano著；鲍涌，刘建元，邹德林译

出版社：高等教育出版社

出版时间：1998-07-01

ISBN：9787040064117

定价：¥10.70