SpecificationApplicationsTechniques形式
2007SpecificationInternationalDevelopment
医药图书SpecificationDevelopment发育
InternationalSpecificationConcurrencyProgramming
CommunicationSpecificationVerificationProtocol
交互式SpecificationInternationalVerification
Specification嵌入式ApplicationEmbedded
SpecificationContributions嵌入式Languages
TransformationSpecification软件开发Programs
剑桥英文英语专著
Specification振动DevelopmentMechanical
SpecificationWorkshop趋势规范
SpecificationDevelopmentSubstancesValidation
线性SpecificationAnalysis模型
剑桥专著Specification推理
SpecificationArchitectural建筑材料Materials
版本OSGi服务平台Specification
产品规格FunctionalitySpecificationVerification
电磁屏蔽ElectromagneticArchitecturalSpecification
InterpretationSpecificationDevelopment花费
SpecificationInternationalVerificationInteractive
Internationalspecification9788419125279feedback
ContributionsSpecificationLanguagesSelected
Specification完整性Integrity规范
软件工程SpecificationEngineeringLanguages
并发SpecificationVerificationConcurrent
SpecificationContributionsLanguagesAdvances
SpecificationCompositionalVerification实时
SpecificationApplicationsDescriptionLanguages
建模SpecificationMethodologiesModeling
FunctionalitySpecificationVerification几何
配合比Specification混凝土Concrete
TransformationSpecification程序开发Development
Specification规范形式化Rpc
Specification嵌入式Methodology实时