程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction

作者: Roland Backhouse
出版社: Springer
副标题: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures
出版年: 2002-5-28
页数: 390
定价: 723.20元
装帧: Paperback
ISBN: 9783540436133
目前无人评价

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

以下豆列推荐  · · · · · ·  ( 全部 )

  • FP (Kitorinix)

谁读这本书?

到此一游
到此一游
2016年9月20日 在读


BladeWang可能
BladeWang可能
2010年2月22日 想读


Char
Char
2009年4月10日 想读

tags:计算机科学 CS Formalism 数学

> 1人在读

> 4人想读

二手市场

订阅关于程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction的评论:
feed: rss 2.0