书目信息 机读格式(MARC)
分数阶系统高阶逻辑形式化验证
| ISBN/价格： | 978-7-03-062206-8:CNY149.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 分数阶系统高阶逻辑形式化验证/.赵春娜，蒋慕蓉著 |
| 出版发行项： | 北京:,科学出版社:,2023.09 |
| 载体形态项： | 286页:;+图:;+26cm |
| 相关题名附注： | 封面英文题名：Fractional order systems and higher order logic formal verification |
| 提要文摘： | 本书以分数阶微积分和高阶逻辑形式化验证为切入点，研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。 |
| 并列题名： | Fractional order systems and higher order logic formal verification eng |
| 题名主题： | 微积分 研究 |
| 中图分类： | O172 |
| 个人名称等同： | 赵春娜 著 |
| 个人名称等同： | 蒋慕蓉 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20231024 |