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