可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
本书编写组编2010 年出版198 页ISBN：
揭开未解之谜的神秘面纱，探索扑朔迷离的科学疑云；让你身临其境，保受益无穷。书中还有不少观察和实践的设计，青少年读者们可以亲自动手，提高自己的实践能力。对于广大青少年学习、掌握科学知识也是不可多得的良师...
