预售SpecificationVerificationProtocol
预售SpecificationMethodologyLanguage
预售SpecificationTechniquesFormal
SpecificationVerification预订Mu
Specification预订AlgebraLogic
Specification预订AdvancesDesign
Specification预订SystemDesign
SpecificationGeometric预订Product
SpecificationLanguages预订System
SpecificationPredictionDirectionsCausality
SpecificationLanguages预订Advances
Specification预订EmbeddedSystems
SpecificationApplicationsLanguages预订
预售OrganizationalSpecificationInnovations
线性Specification9780815350545预订
SpecificationVerificationProtocol验证
SpecificationManagement编写Writing
SpecificationConcurrencyProgramming预订
InternationalSpecificationConcurrencyProgramming
代数Specification逻辑Algebra
SpecificationLanguagesFdl规范
言和SpecificationMethodologyLanguage
ContributionsSpecificationLanguagesSelected
Specification预订SoftwareDesign
Specification实时CSP证明
形式化模块化SpecificationEngineering
SpecificationLanguages逻辑规范
SocsSpecificationContributionsLanguages
SocsSpecificationApplicationsLanguages
Specification嵌入式LanguagesAdvances
Specification嵌入式Embedded经过
Specification预订AsphaltMixture
电磁屏蔽ElectromagneticArchitecturalSpecification
ObjectSpecificationLanguage规范
SpecificationLanguage对象规范
CommunicationSpecificationVerificationProtocol
