形式化方法软件工程EngineeringSoftware
预订TeachingMethodsFormal
Engineering预订SoftwareMethods
预售SimulationIndustrialSymbolic
ApplicationsVerificationLeveragingValidation
InternationalConference组件Component
预售IndustrialCriticalMethods
形式化方法2019InternationalWorkshops
形式化SpecificationVerification实时
形式化方法FormalInternationalDynamical
形式化方法辅助设计InternationalConference
InternationalArgumentation论证Applications
分布式DistributedTechniquesComponents
形式化方法System系统Perspective
2016InternationalSymposiumLimassol
ApplicationsFoundationsBrazilianSymposium
Manufacturing9781466640344印刷Methods
Descriptional9783642316227Complexity预订
形式化方法软件工程SefmEngineering
预售ComplaintBill'sFormal
预售VerificationFormal
Specifications9783836422949FinancialModeling
波德莱尔福楼拜RevolutionBaudelaire
UnderstandingChemistry预订Physical
InternationalWorkshops预订Methods
预订ModelingAnalysisSystems
Analysis形式概念Concept
形式化方法Formal软件工程International
形式化方法InternationalExecutableSoftware
文艺复兴RenaissanceEngagementsLiterature
Distributed预订MethodsSystems
代数和自动机语法Automata
9783961101283linguisticsAdvances印刷
英文运算英文版原版
9781522593843ConstructionAutomationAdaptive
Information正规BatteredBarriers
OracleEfficiencyDatabasesPractical
InternationalIndustrialCriticalWorkshop
