使用B语言的形式说明与开发/formal specification and development in B

作者: Julliand, Jacques; Kouchnarenko, Olga;
副标题: FormalSpecificationandDevelopmentinB
出版年: 2006-12
页数: 292
定价: 542.40元
ISBN: 9783540687603
目前无人评价

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载

谁读这本书?

二手市场

订阅关于使用B语言的形式说明与开发/formal specification and development in B的评论:
feed: rss 2.0