程序验证和规范的形成方法

作者：（美）H.K.伯格（Helmut K.Berg）等著；宋国新等译

出版社：科学出版社

出版时间：1988-04-01

ISBN：9787030002792

定价：¥2.15