点击看大图基本信息
- 作者： [美]Jean-Raymond Abrial, J.-R. Abrial [作译者介绍]
- 译者： 裘宗燕
- 丛书名： 国外计算机科学教材系列
- 出版社：电子工业出版社
- ISBN：7505393391
- 上架时间：2004-7-1
- 出版日期：2004 年6月
- 开本：16开
- 页码：526
- 版次：1-1
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
Mes blogs, web pages
Search This Blog
Followers, Abonnés fidèles
About Me
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
No comments:
Post a Comment