2020年12月9日
Formal Methods: An Appetizer by The Nielsons学习笔记
摘要： 这本书我可能更倾向于将英文放在主要位置，因为它里面的内容比较前沿，用英文更加合适。 词汇表 vending a. 出售（东西）的 subtle a. 微妙的，不易察觉的 notion n. 观念 teaser n. 难题；先导式广告（也就是说这本书里提到后面的内容会加个teaser的tag，这不比A 阅读全文
posted @ 2020-12-09 00:42 teafrogsf 阅读(281) 评论(0) 推荐(0) 编辑