软件抽象
Software abstractions
Daniel Jackson · 初版 2012 年
- 5次提及
- 3人推荐
- 4位 HN 评论者
Hacker News 读者推荐
如果有人想多了解一下 Alloy，我推荐原作者 Daniel Jackson 写的这本书——《Software Abstractions》——https://www.amazon.com/Software-Abstractions-Logic-Language-...
l8again 在 HN 的推荐
……步步深入的教材），所以可以把它当作了解一切“形式化”（Formal）知识的导引地图。它的信噪比（S/N ratio）极高（才大概 250 页！），所以遇到搞不懂的概念可以用 AI 或其他教材辅助理解。实操方面：1) Daniel Jackson 的《Software Abstractions: Logic, Language, and Analysis》——用“Alloy”语言来教结构化（即数据）建模。2) 《Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers》……
rramadass 在 HN 的推荐
Alloy（以及它背后的理念）在 Daniel Jackson 的《Software Abstractions》一书中有详细讲解，讲规约（specification）与验证（在规约层面）技术，读起来非常过瘾。
fspeech 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262017156
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。