中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集

定　價(jià)：￥508.50

作　者：	Zoltan Horvath 著
出版社：	湖南文藝出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥401.70)

ISBN：	9783540468431	出版時(shí)間：	2006-12-01	包裝：	平裝
開本：		頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　Keep connected to what's happening in the world of books by signing up for Amazon.com Books Delivers， our monthly sub*ion e-mail newsletters. Discover new releases in your favorite categories， popular pre-orders and bestsellers， exclusive author interviews and podcasts， special sales， and more.

作者簡(jiǎn)介

暫缺《中歐函數(shù)編程學(xué)院：CEFP 2005/講義選集》作者簡(jiǎn)介

圖書目錄

Generic Editors for the World Wide Web
Fully Automatic Testing with Functions as Specifications
Functional Array Programming in SAC
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
The Essence of Dataflow Programming
Temporal Properties of Clean Programs Proven in Sparkle-T
Tutorial on Subtype Marks
Designing Distributed Computational Skeletons in D-Clean and D-Box
Author Index