中欧函数编程学院
2006-12
湖南文艺出版社
Horvth, Zoltn; Horvath, Zoltan;
256
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