关注微信公众号查券更方便
新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
机械工业出版官网正版
分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
语用寓义推理形式化研究毛眺源9787030704078科学出版社
安全协议形式化分析与验证 肖美华 著 科学出版社
矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
当当网 拉格朗日力学理论的形式化与机器人动力学形式化分析 计算机/网络 科学出版社 正版书籍
软件工程形式化方法与语言 新
形式化方法导论（第2版）
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
哈密顿力学理论的形式化与机器人动力学形式化分析
论证挖掘与论证形式化 鞠实儿 广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能
正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
形式化方导
拉格朗日力学理论的形式化与机器人动力学形式化分析
语用寓义推理形式化研究
英汉疑问句形式化对比研究
【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
形式化框架下置换和查找类算法的组装生成
T/CIE 095-2020区块链智能合约形式化表达
【当当网 正版书籍】安全协议形式化分析与验证
预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
海外直订Formal Modeling and Analysis of Timed Systems: 14th International Conference, Fo 定时系统的形式化建模与分析
海外直订Formal Modeling and Analysis of Timed Systems: 17th International Conference, Fo 定时系统的形式化建模与分析
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化：理论与实践
海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化
海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方
海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术
海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经：形式化模型及
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
海外直订Formal Description of Programming Concepts 编程概念的形式化描述
海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Practical Formal Software Engineering 实用形式化软件工程
海外直订Formal Techniques for Distributed Objects, Compo... 分布式对象、组件和系统的形式化技术
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订Formal Modeling and Analysis of Timed Systems 定时系统的形式化建模与分析
海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
海外直订NASA Formal Methods NASA形式化方法
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程：第17
海外直订Software Engineering and Formal Methods 软件工程与形式化方法
海外直订Formal Modeling and Analysis of Timed Systems: 19th International Conference, Fo 时间系统的形式化建模与分析
海外直订Formal Modeling and Analysis of Timed Systems: 18th International Conference, Fo 计时系统的形式化建模与分析
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一
海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证
海外直订Financial Audit Systems Modeling- A Formal Specifications Approach 财务审计系统建模-一种形式化规范方法
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Modeling and Analysis of Timed Systems: 7th International Conference, FOR 时间系统的形式化建模与分析
海外直订Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International 分布式系统的形式化技术：第
海外直订Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to C 形式化建模：参与者；开放系
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symp 实时和容错系统中的形式化技
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证
海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用
海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9
海外直订Formal Methods and Software Engineering 形式化方法与软件工程
海外直订Formal Models of Communicating Systems: Languages, Automata, and Monadic Second- 通信系统的形式化模型：语言
海外直订Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr 软件和系统建模中的形式化方
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 Intern 开放对象分布式系统的形式化
海外直订Formal Methods in Computer-Aided Design: Second International Conference, Fmcad 计算机辅助设计中的形式化方
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Systems Specification: The Rpc-Memory Specification Case Study 形式化系统规范：Rpc内存规范案例研究
海外直订Formal Modeling and Analysis of Timed Systems: 4th International Conference, For 时间系统的形式化建模与分析
海外直订Formal Development of Reactive Systems: Case Study Production Cell 反应式系统的形式化开发：生产单元案例研究
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
