• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Checking” 共178个商品
      • 默认
      • 销量
      • 价格
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      ¥1,068券后¥1,2180人已购买
      优惠券¥150 领券购买 
    • 海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

      简明VerificationAnnotationSoftware

      海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

      ¥732券后¥7620人已购买
      优惠券¥30 领券购买 
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      ¥1,168券后¥1,2180人已购买
      优惠券¥50 领券购买 
    • 海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

      自旋SpinInternationalVerification

      海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预售 按需印刷 Knowing and Checking

      预售Checking印刷Knowing

      预售 按需印刷 Knowing and Checking

      ¥1,621券后¥1,7760人已购买
      优惠券¥155 领券购买 
    • 海外直订New Methods of Concurrent Checking 并发检查的新方法

      并发ConcurrentChecking检查

      海外直订New Methods of Concurrent Checking 并发检查的新方法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 按需印刷Model Checking Abstract State Machines[9783639018912]

      9783639018912CheckingAbstractMachines

      按需印刷Model Checking Abstract State Machines[9783639018912]

      ¥1,211券后¥1,3310人已购买
      优惠券¥120 领券购买 
    • 海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      VerificationTechniquesSoftwareChecking

      海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 现货 模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

      原版中商英文现货

      现货 模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

      ¥458券后¥4680人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释:

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释:

      ¥546券后¥5560人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证,模型检验和抽象解释:

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证,模型检验和抽象解释:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      ¥1,168券后¥1,2180人已购买
      优惠券¥50 领券购买 
    • 按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]

      Architectures9783639101423ScalabilityImproving

      按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]

      ¥718券后¥7680人已购买
      优惠券¥50 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释:

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 按需印刷Checking You Out[9781949202915]

      9781949202915Checking印刷You

      按需印刷Checking You Out[9781949202915]

      ¥180券后¥1860人已购买
      优惠券¥6 领券购买 
    • 海外直订Checking the Waste: A Study in Conservation 检查废物:一项保护研究

      废物ConservationChecking检查

      海外直订Checking the Waste: A Study in Conservation 检查废物:一项保护研究

      ¥389券后¥3990人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

      Verification抽象CheckingAbstract

      海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

      ¥613券后¥6430人已购买
      优惠券¥30 领券购买 
    • 海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

      认识论EpistemologicalInvestigationChecking

      海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

      ¥1,479.2券后¥1,519.20人已购买
      优惠券¥40 领券购买 
    上一页  1   2   3   4  5 下一页