应用语义学
Semantics with applications
Hanne Riis Nielson, Flemming Nielson · 初版 2007 年
- 9次提及
- 5人推荐
- 7位 HN 评论者
Hacker News 读者推荐
我也强烈推荐 Nielson 和 Nielson 写的《Semantics with Applications》。我今年一月份读的，书写得非常好。对于只有一点点形式化方法（formal methods）基础的人来说，这本书非常容易上手。如果你在找一本优秀的入门书……
timtadh 在 HN 的推荐
……《Partial Evaluation and Automatic Program Generation》，作者是 Jones、Gomard 和 Sestoft，网上某些地方可以免费下载。如果你想浅尝一下语义学（semantics），没有比 Nielson 和 Nielson 的《Semantics with Applications》更好的教材了，作者网站上也有在线版。本科生的“appetizer”（开胃菜）版本是新出的，我不好打包票，但老版本绝对是一本小巧玲珑的神作。这本教材介绍了三大主流语义……
mahmud 在 HN 的推荐
……Anderson；《The Formal Semantics of Programming Languages》，Glynn Wynskell；《Communicating Sequential Processes》，Tony Hoare，这本书紧凑而清晰得令人惊叹；Pi Calculus，Robin Milner；《Semantics With Applications》，Hanne Riis Nielson；《On Concurrent Programming》，Fred Schneider；《Specifying Systems with TLA+》，Leslie Lamport；《Distributed Algorithms》，Nancy Lynch；《Reliable Distributed Computing》，Ken Birman 和 Robert……
sriram_malhar 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3540654100
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。