软件工程 1：抽象和建模 作者：Dines Bjørner 电子书下载

原名:Software Engineering 1: Abstraction and Modelling by Dines Bjørner
作品简介:开发大型软件产品的艺术、工艺、纪律、逻辑、实践和科学需要一个可信的、专业的基础。这本三卷本的教科书将非正式的、工程上合理的实践与严格的、基于数学的正式方法结合起来。第 1 卷涵盖 t……