FoundationsEngineering预订Software
验证ApplicationsVerificationLeveraging
Engineering预订SoftwareMethods
ApplicationsFoundations预订Methods
InternationalStructured预订Oriented
InternationalWorkshops预订Methods
Techniques预订CriticalSystems
Integrated预订MethodsFormal
形式化模块化SpecificationEngineering
惯性PropulsionExplainedMechanics
DistributedTechniquesNetworked预订
Distributed预订MethodsSystems
预订ModelingAnalysisSystems
Performance预订ApplyingCommerce
预订TeamworkApproachSystems
9781284231601IntroductionLanguages预订
自动机ApplicationsPropertiesAutomata
9783540410553Techniques预订Tolerant
9783642084775IntroductionVerification预订
波德莱尔福楼拜RevolutionBaudelaire
2009Methods海外正式
分布式Distributed基于对象
9783030906351Component预订Software
分布式DistributedTechniquesNetworked
DescriptionalComplexity预订Systems
形式逻辑自动机复杂性Complexity
SpecificationsFoundations实时Computing
项目开发IfipDevelopment2.1
Computational预订MethodsSystems
预订AdvancesMethodsFormal
形式化Introduction实时Systems
Performance预订LecturesAnalysis
预售CrossroadsMethodsPanacea
预售TechniquesTolerantFormal
建模International定时Conference
结构化InternationalStructuredOriented
InternationalComponents组件Symposium
预售TraditionsAlexanderFormal
