Engineering预订SoftwareMethods
9783642084775IntroductionVerification预订
Performance预订AnalysisLectures
预售EquivalenceSynchronousMethods
形式化方法人工智能IntelligenceArtificial
预售InternatMethodsFormal
形式化EngineeringDevelopmentIndustrial
语义SpecificationUnderstandingSemantics
MethodsFormal2006International
预售ComponentsObjectsMethods
形式化VerificationSatSolutions
预售BiologyMethodsInterna
形式化InternationalVerificationConference
形式逻辑反证Disproof证明
ComponentsObjectsMethods海外
表征不确定性RepresentationsExperimental
建模International定时Conference
结构化InternationalStructuredOriented
形式化辅助设计InternationalConference
InternationalComponents组件Symposium
9783110752274Languages预订Automata
InternationalWebWorkshopServices
形式化方法软件工程建模Engineering
形式化Techniques海外数据库
OracleEfficiencyPracticalEfficient
InternationalIndustrialWorkshopCritical
9783110597851预订AnalysisFormal
波德莱尔福楼拜BaudelaireRevolution
Orientation预订ObjectFormal
容错形式化定时Techniques
结构化InternationalStructuredLanguage
NASA第六届InternationalSymposium
SpecificationDescriptionVerificatiTechniques
预售DedicatedComputingNatural
ComputationLanguages预订Formal
原版英文英语英文版
英文运算英文版原版
预售HardwareApproachDesign
形式化方法辅助设计InternationalConference
Component预订SoftwareAspects
扫描二维码打开
周一至周六
9:00-22:00
农业优选 Copyright © 2010 - 2021 http://gsslszz.yuncomcn.com/ All Rights Reserved
![[预订]Automata Theory and Formal Languages 9783110752274](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01QUMxWP1ym0onHWjlq_!!0-item_pic.jpg_310x310.jpg)
![[预订]Formal Analysis 9783110597851](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01HYzP0I1ym0orhiHQF_!!0-item_pic.jpg_310x310.jpg)
