软件工程数学
Software engineering mathematics
Jim Woodcock · 初版 1988 年
- 4次提及
- 2人推荐
- 3位 HN 评论者
Hacker News 读者推荐
……因为我从来没真正用过它，恐怕推荐不了什么好资料。------ 如果你刚入门，我推荐看看我前导师写的那本书：https://www.amazon.com/Software-Engineering-Mathematics-Sei/... 我觉得这本书读起来相当轻松，而且系统梳理了几乎所有形式化方法（formal methods）系统都会用到的符号和概念。------ TLA+ 是个挺不错的……
tombert 在 HN 的推荐
……TLA+ 的发明者）最终敲定了这套特定的符号系统。想了解更多细节可以看他在 Youtube 上的访谈/视频。就我自己而言，我是先通过以下几本书学习/掌握基础知识的：* Woodcock 和 Loomes 写的《Software Engineering Mathematics》。* Monin 写的《Understanding Formal Methods》。* Nimal Nissanke 写的《Introductory Logic and Sets for Computer Scientists》。* 《Mathematical Notation: A Guide for Engineers and Scientists》……
rramadass 在 HN 的推荐
……领域，而且教学水平也同样高超。他人也很和善、很好相处，聊起天来让人如沐春风，不过约克 [1] 那边的人基本都这样。我也觉得他的书《Software Engineering Mathematics》[2] 对任何想多学点理论的工程师来说都是一本极其好上手的书。就像我说的，我退掉 PhD 绝不是因为导师或学校有什么问题，主要就是生活……
tombert 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1484238281
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。