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著；裘宗燕译；裘宗燕译