原书名： The B-Book:Assigning Programs to Meanings

B方法
点击看大图


定价 ：￥57.00
普通会员 ： ￥51.30
1-3星会员： ￥50.16
4-5星会员： ￥48.45

团购急调缺货预定

促销活动


基本信息

原书名： The B-Book:Assigning Programs to Meanings
原出版社： Cambridge University Press

作者： [美]Jean-Raymond Abrial, J.-R. Abrial [作译者介绍]
译者： 裘宗燕
丛书名： 国外计算机科学教材系列
出版社：电子工业出版社
ISBN：7505393391
上架时间：2004-7-1
出版日期：2004 年6月
开本：16开
页码：526
版次：1-1

Structures de données et méthodes formelles (génie logiciel, méthodes formelles, programmation, algorithmes, mathématiques discrètes, logique, méthode B)

Structures de données et méthodes formelles
Marc Guyomard
Springer, 2011


http://www.springer.com/computer/book/978-2-8178-0199-5