大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » B方法 : assigning programs to meanings
名称 B方法 : assigning programs to meanings
索引号 620447
分类号
(| 08 环境公报)
作者 阿布里亚尔、 J.-R.、裘宗燕、
出版社 北京 : 电子工业出版社, 2004
ISBN 7-5053-9339-1
页数 526页 ; 26cm
价格 CNY57.00
标签 软件工程、形式化方法、b方法、计算机、
简介
注解 据Cambridge University Press 1996年英文版译出 由Cambridge University Press授权电子工业出版社出版 责任者规范汉译姓: 阿布里亚尔
书籍简介

B方法，ISBN：9787505393394，作者：（美）J-R Abrial著；裘宗燕译；裘宗燕译