中欧函数编程学院：CEFP 2005/讲义选集

定　价：¥508.50

作　者：	Zoltan Horvath 著
出版社：	湖南文艺出版社
丛编项：
标　签：	暂缺

购买这本书可以去

当当网 (¥401.70)

ISBN：	9783540468431	出版时间：	2006-12-01	包装：	平装
开本：		页数：		字数：

内容简介

　　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.

作者简介

暂缺《中欧函数编程学院：CEFP 2005/讲义选集》作者简介

图书目录

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