关注微信公众号查券更方便
新书现货 形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
大夏书系班主任家校沟通的艺术如何解决家校沟通形式化单向化被动化的问题如何扭转告状式通知式被动式的程序化沟通华东师范大学
预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
海外直订Formal Modeling and Analysis of Timed Systems: 20th International Conference, Fo 时间系统的形式化建模与分析
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
海外直订Validation and Verification of Formal Specifications in Object-Oriented Software 面向对象软件工程中形式化规范的
海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
海外直订Proof, Logic and Formalization 证明、逻辑和形式化
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
海外直订Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Gui 组件软件的形式化方面:第七
海外直订Formalizing Natural Languages with Nooj and Its Natural Language Processing Appl 用Nooj形式化自然语言及其自
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法
海外直订Form-Focused Instruction of English Idioms 英语习语的形式化教学
海外直订Knowledge Formalization and Information Retrieval 知识形式化与信息检索
海外直订Intuitive formal modelling of biological systems 生物系统直观的形式化建模
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面向
海外直订Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools 系统生物学建模与分析:形式化
海外直订Formalization of Design Patterns by Means of Ontologies 基于本体的设计模式形式化研究
【新华文轩】嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 正版书籍 新华书店旗舰店文轩官网 机械工业出版社
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
机械工业出版官网正版
海外直订Formal Methods in Automated Design Debugging 自动化设计调试中的形式化方法
海外直订Integration of Processes using Formal Methods 使用形式化方法集成过程
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
海外直订Visual Languages for Interactive Computing: Definitions and Formalizations 交互式计算的可视化语言:定义和形式化
海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Towards Formalizing Transition Membrane systems to Turing Model 将过渡膜系统形式化为图灵模型
海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化:理论与实践
海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法:日语及其他
海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方
海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法
海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
海外直订Formal Description of Programming Concepts 编程概念的形式化描述
海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化
海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经:形式化模型及
海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Understanding Physics and Physical Chemistry Using Formal Graphs 用形式化图形理解物理和物理化学
海外直订Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligatione 中世纪逻辑理论的形式化:假
海外直订A Formal Definition of JML in Coq Coq中Jml的形式化定义
海外直订A Formal Approach to Discourse Anaphora 语篇回指的形式化研究
海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法:最新进展
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础:形式化规范和方法
海外直订Formal Models of Operating System Kernels 操作系统内核的形式化模型
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规范技术
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规格说明技术
海外直订Formal Modelling in Electronic Commerce 电子商务中的形式化建模
海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法:第1卷
海外直订Formal Description Techniques VIII 形式化描述技术VIII
海外直订Formal Description Techniques VII 形式化描述技术VII
海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展:I
海外直订Formal Techniques for Networked and Distributed Systems: Forte 2001 化和分布式系统的形式化技术:Forte 2001
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法:第2卷
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程:一种形式化方法
海外直订The Meaning of General Theoretical Sociology: Tradition and Formalization 一般理论社会学的意义:传统与形式化
海外直订The Way of Z: Practical Programming with Formal Methods z方法:用形式化方法进行实用编程
海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展的概念与形式化:量
海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展开的概念和形式化:
海外直订Formal and Adaptive Methods for Automation of Pa... 并行程序构建自动化的形式化和自适应方法
海外直订Design Patterns Formalization Techniques 设计模式形式化技术
海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统:形式化规范和自动验证
海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具
海外直订Formal Semantics and Verification Of Use Case Maps 用例映射的形式化语义和验证
【全新正版】 基于认知的自然语言自动形式化研究 9787522714615
海外直订Formal Description Techniques IX: Theory, Application and Tools 形式化描述技术IX:理论、应用和工具
海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化