关注微信公众号查券更方便
通过优惠啦全网搜索形式化方法优惠券，一键查询形式化方法在淘宝、京东、拼多多等平台隐藏优惠券，智能比价技术实时追踪商品180天价格走势，精准推送大额满减券、限时秒杀、品牌专属折扣等优质优惠。设置降价提醒及时获取历史低价信息，覆盖美妆/数码/家居等全品类商品，助您搜索即省30%-70%，立即体验智能搜券新方式！
可视化微分几何+复分析可视化
官网正版机械工业出版社
【图灵数学书系任选】基础拓扑学矩阵计算复分析可视化方法概率论数学分析概论分析导论可视化微分几何形式沉思录线性代数及其应用
什么是数字史学汉努·萨尔米
【全2册】可视化微分几何和形式 +复分析可视化方法 微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍
标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学旗舰店正版
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
软件工程形式化方法与语言/吴江琴 李莹
【官方正版新书】 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
海外直订Formal Methods and Object Technology 形式化方法与对象技术
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向
海外直订The Way of Z: Practical Programming with Formal Methods z方法：用形式化方法进行实用编程
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
海外直订Formal Methods for Software Engineering: Languages, Methods, Application Domains 软件工程的形式化方法:语言，方
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
工业数据分析工程：基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等
新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法：第1卷
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法：第2卷
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
二手软件工程形式化方法与语言 李莹 浙江大学出版社
海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
海外直订A Formal Approach to Discourse Anaphora 话语回指的形式化方法
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式化方法
海外直订Formal Methods for Multicore Programming: 15th International School on Formal Me 多核编程的形式化方法：第15
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
海外直订NASA Formal Methods NASA形式化方法
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程：第17
海外直订Software Engineering and Formal Methods 软件工程与形式化方法
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9
海外直订Formal Methods and Software Engineering 形式化方法与软件工程
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法
海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告
海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四
海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九
海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
软件开发的形式化方法(正版收藏品)古天龙 编高等教育出版社9787040160796
【新华文轩】软件工程形式化方法与语言 吴江琴，李莹 著作 正版书籍 新华书店旗舰店文轩官网 浙江大学出版社
软件工程形式化方法与语言 新
软件工程形式化方法与语言 吴江琴，李莹 著作 著 大学教材大中专 新华书店正版图书籍 浙江大学出版社
【正版书】 形式化方法导论 张广泉 著 清华大学出版社
形式化方法在构件组装实时系统中的应用研究
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
【正版书】形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
现货正版9787040160796 软件开发的形式化方法 古天龙 编 高等教育出版社
