📖 书目详情
严密系统设计—方法、趋势与挑战
| 著者 | (法)(希)约瑟夫·希发基思(Joseph Sifakis)著,王强，张继勇译著 |
| ISBN | 9787121467653 |
| 中图分类 | TP271 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 电子工业出版社 |
| 丛书名 | — |
| 出版年 | 2023 |
| 页码 | 12,195页 |
| 价格 | ¥79.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.7/10
|
📝 内容简介
本书共七章，内容包括：引言、系统设计的正确性和复杂性、严密系统设计方法、基于BIP的系统设计框架、自主系统的设计方法、自主系统的智能测试、系统设计的挑战与展望。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购