| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
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
