中欧函数编程学院

书籍目录

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

作者简介

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.

图书封面

 中欧函数编程学院下载