形式化方法本体9783031937750Biomedical
形式化方法软件测试InternationalApproaches
代数和自动机语法Automata
形式化方法工作组StandardsBCS
VDMInternationalDevelopmentSoftware
软件工程EngineeringCollocatedWorkshops
International组件ComponentSymposium
9781522593843ConstructionAutomationAdaptive
CombinatoricsCooperationLanguages形式
形式化Forte分布式2001
SpecificationsFoundations实时Computing
离散导论SpecificationIntroduction
项目开发IfipDevelopment2.1
英文运算英文版原版
ComponentsMethodsObjects海外
医药图书分布式Distributed对象
形式化Introduction实时Systems
ApplicationsFoundationsBrazilianSymposium
OracleEfficiencyDatabasesPractical
InternationalIndustrialCriticalWorkshop
代数证明形式Algebra
形式化ProceedingsCADAdvances
理系统建模InternationalVerification
9781466620926LanguagesPracticalSpecific
形式化模块化SpecificationEngineering
验证ApplicationsVerificationLeveraging
形式化结构化InternationalStructured
Practices青少年LearningInformal
系统工程InformationEngineeringApproach
GrammarFormal国际会议International
自动机二门言和Languages
形式化InternationalVerificationConference
2009Methods海外正式
分布式Distributed基于对象
ApplicationsVerificationLeveragingValidation
分布式DistributedTechniquesNetworked
International第三届TeachingWorkshop
Specifications9783836422949FinancialModeling
