书籍详情
中欧函数编程学院：CEFP 2005/讲义选集
作者：Zoltan Horvath 著
出版社：湖南文艺出版社
出版时间：2006-12-01
ISBN：9783540468431
定价：¥508.50
购买这本书可以去
内容简介
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
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
猜您喜欢
