出版时间: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
图书封面
评论、评分、阅读与下载