未读消息消息

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

Categories For Software Engineering

Categories For Software Engineering

分享

作者: José L. Fiadeiro

出版社: Springer

出版时间: 2004-11

ISBN: 9783540209096

定价: 74.95

装帧: 其他

页数: 250页

分类: 外文古旧书>德文书>文学

Demonstrates how category theory can be used for formal software development.
The mathematical toolbox for the Software Engineering in the new age of complex interactive systems. Professor at the University of Leicester; Visiting Scientist at Imperial College, King’s College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 – Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems
内容简介:
Demonstrates how category theory can be used for formal software development.
The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.
作者简介:
Professor at the University of Leicester; Visiting Scientist at Imperial College, King’s College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 – Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems

查看详情

相关分类

Literature&Fiction文学与虚构 ScienceFiction&Fantasy科幻与玄幻 Romance浪漫小说 Mystery&Thrillers神秘与惊悚 Teens青少年读物 Biographies&Memoirs传记与自传 Comics&GraphicNovels动漫与绘画小说 ELT英语学习 Reference参考书 StandardTest标准考试 Business&Investing商业与投资 Self-Help励志自助

目前没有书店销售此书