Component预订SoftwareAspects
分布式Distributed基于对象
英文运算英文版原版
CombinatoricsCooperationLanguages形式
预售MethodsBiologyInterna
预订TeamworkApproachSystems
预售ApproachHardwareFormal
Integrated预订MethodsFormal
DistributedTechniquesNetworked预订
预售SemanticsFormalVHDL
Distributed预订MethodsSystems
形式化Forte分布式2001
形式化方法人工智能IntelligenceArtificial
Approaches预订InformalFormal
验证ApplicationsVerificationLeveraging
语义UnderstandingSpecificationSemantics
预订AnalysisConceptFormal
形式化建模计时International
Engineering预订SoftwareMethods
DescriptionalComplexity预订Systems
9781466643697SimulationLanguagesComputer
Orientation预订ObjectFormal
9781904987758FoundationsSciences印刷
预售ApplicationsIndustrialMethods
Components预订MethodsObjects
PerformanceEvaluation预订Methods
9783030906351Component预订Software
Computational预订MethodsSystems
理系统建模InternationalVerification
形式化InternationalVerificationConference
Performance预订LecturesAnalysis
SpecificationsFoundations实时Computing
原版英文英语英文版
Verification预订SoftwareControl
ComponentsMethodsObjects海外
项目开发IfipDevelopment2.1
PerformanceStochasticEvaluation预订
