中欧函数编程学院

作者简介

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

书籍目录

Generic Editors for the World Wide WebFully Automatic Testing with Functions as SpecificationsFunctional Array Programming in SACExploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume ApproachThe Essence of Dataflow ProgrammingTemporal Properties of Clean Programs Proven in Sparkle-TTutorial on Subtype MarksDesigning Distributed Computational Skeletons in D-Clean and D-BoxAuthor Index

图书封面

 中欧函数编程学院下载