安卓客户端
    排序： 综合 有券 销量↓ 价格↑ 人气↓
    价格： 全部 ￥0 - 200 ￥200 - 500 ￥500以上

    ￥ -

    颜色：
    【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社

    文轩形式化方法论及新华

    ￥56.6
    4
    新华文轩旗舰
    新华文轩旗舰

    发布了

    【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
    【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社

    文轩清华大学出版社形式化方法新华

    ￥51.8
    15
    新华文轩旗舰
    新华文轩旗舰

    发布了

    【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
    【官方正版新书】形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材

    清华大学出版社广泉形式化方法导论

    ￥51.1
    2
    深蓝图书专营店
    深蓝图书专营店

    发布了

    【官方正版新书】形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
    新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店

    中国科大形式化方法论及旗舰店

    ￥57
    21
    中国科大出版社旗舰店
    中国科大出版社旗舰店

    发布了

    新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
    正版图书 软件开发的形式化方法古天龙高等教育出版社
    6 元券

    高等教育出版社天龙形式化方法软件开发

    ￥40
    0
    英喆旗舰店
    英喆旗舰店

    发布了

    正版图书 软件开发的形式化方法古天龙高等教育出版社
    【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
    3.7 元券

    形式化方法工业春华新华

    ￥70.6
    0
    临海市新华书店图书专营店
    临海市新华书店图书专营店

    发布了

    【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
    海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
    50 元券

    形式化方法FormalInternationalDynamical

    ￥454
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
    海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
    50 元券

    形式化方法ApplicationsFoundationsMethods

    ￥458
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
    海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
    100 元券

    形式化方法非线性NonlinearControl

    ￥924
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
    海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
    50 元券

    形式化方法定量QuantitativeEvaluation

    ￥465
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
    海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
    100 元券

    语用学语义学形式化方法日语

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    100 元券

    形式化方法演算实时Duration

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
    100 元券

    形式化方法分布式嵌入式Distributed

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
    100 元券

    形式化方法分布式嵌入式Distributed

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
    100 元券

    形式化方法OptimizationBehavioralSynthesis

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    100 元券

    形式化方法演算实时Duration

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
    100 元券

    形式化方法蒸汽ApplicationsProgramming

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
    海外直订NASA Formal Methods NASA形式化方法
    50 元券

    形式化方法NASAMethods海外

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订NASA Formal Methods NASA形式化方法
    海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
    50 元券

    形式化方法软件工程EngineeringSoftware

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
    海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
    50 元券

    形式化方法软件工程EngineeringCollocated

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
    海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
    50 元券

    形式化方法Formal软件工程International

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
    海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
    50 元券

    形式化方法2019InternationalWorkshops

    ￥473
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
    海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
    100 元券

    形式化方法软件工程SefmEngineering

    ￥948
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
    海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
    50 元券

    形式化方法人工智能IntelligenceArtificial

    ￥483
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
    海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
    50 元券

    形式化方法软件工程InternationalEngineering

    ￥502
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
    海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程：第17
    50 元券

    形式化方法Formal软件工程International

    ￥502
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程：第17
    海外直订Software Engineering and Formal Methods 软件工程与形式化方法
    50 元券

    形式化方法软件工程EngineeringSoftware

    ￥502
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods 软件工程与形式化方法
    海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
    50 元券

    形式化方法Verification算法Algorithms

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
    海外直订Integrated Formal Methods 综合形式化方法
    50 元券

    形式化方法IntegratedMethods海外

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Integrated Formal Methods 综合形式化方法
    海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证
    50 元券

    形式化方法ApplicationsVerificationLeveraging

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证
    海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
    50 元券

    形式化方法VerificationAutomatedInternat

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
    海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
    50 元券

    形式化方法构件InternationalComponents

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
    海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9
    50 元券

    形式化方法软件工程InternationalEngineering

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9
    海外直订Formal Methods and Software Engineering 形式化方法与软件工程
    50 元券

    形式化方法软件工程EngineeringSoftware

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering 形式化方法与软件工程
    海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
    50 元券

    形式化方法PerformanceStochasticEvaluation

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
    海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
    50 元券

    形式化方法International部件Components

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
    海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
    50 元券

    形式化方法ProbabilisticInternational概率

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
    海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
    50 元券

    形式化方法InternationalApplications程序设计

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
    海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
    50 元券

    形式化方法Fm89可信Trustworthy

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
    海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
    50 元券

    形式化方法Components组件对象

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
    海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
    50 元券

    形式化方法软件工程InternationalEngineering

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
    海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
    50 元券

    形式化方法Formal体系结构International

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
    海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
    50 元券

    形式化方法软件工程EngineeringCollocated

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
    海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告
    50 元券

    形式化方法工作组StandardsBCS

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告
    海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
    50 元券

    形式化方法软件工程SefmEngineering

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
    海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法
    50 元券

    形式化方法InternationalExecutableSoftware

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法
    海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四
    50 元券

    形式化方法软件测试InternationalApproaches

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四
    海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
    50 元券

    形式化方法辅助设计InternationalConference

    ￥503
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
    海外直订Formal Methods for Software Engineering 软件工程的形式化方法
    50 元券

    形式化方法软件工程EngineeringSoftware

    ￥516
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Software Engineering 软件工程的形式化方法
    海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九
    50 元券

    Methods形式化方法FormalInternational

    ￥526
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九
    二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
    1 元券

    清华大学出版社广泉形式化方法导论

    ￥10.8
    0
    老地方图书店
    老地方图书店

    发布了

    二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
    正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
    6 元券

    席琳连中形式化方法构件

    ￥64.5
    0
    英喆旗舰店
    英喆旗舰店

    发布了

    正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
    海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
    50 元券

    形式化方法人机Interaction交互

    ￥538
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
    海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
    50 元券

    形式化方法系统工程EngineeringSystems

    ￥538
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
    海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
    50 元券

    形式化方法人机Interaction交互

    ￥538
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
    海外直订Formal Methods and Object Technology 形式化方法与对象技术
    100 元券

    形式化方法Technology对象Methods

    ￥1093
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Object Technology 形式化方法与对象技术
    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
    100 元券

    形式化方法OptimizationBehavioralSynthesis

    ￥1093
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
    海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
    50 元券

    形式化方法软件工程InternationalEngineering

    ￥585
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
    海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
    50 元券

    形式化方法InternationalConferenceIndustrial

    ￥588
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
    海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
    50 元券

    形式化方法Formal软件工程International

    ￥589
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
    首页 123456 >末页