SpecificationSemanticsLanguages预订
SpecificationVerificationProtocol验证
Specification预订EmbeddedSystems
预售SpecificationDevelopmentFormal
SpecificationExchangeAnalysis交换
Specification预订SoftwareDesign
SpecificationLanguages预订System
VLSISpecificationEncodingStandard
SpecificationVerificationInteractive预订
Specification预订NotationFormal
Specification预订SoftwareMethods
预售SpecificationProofReal
SpecificationProtocol协议Testing
预售SpecificationMethodologyDesign
预售SpecificationModelingLanguag
SpecificationWorkshop趋势规范
Specification9783642641510FoundationsAlgebraic
9783540428077SpecificationVerificationInteractive
作图Specification注释Hierarchical
Specification概述SoftwareOverview
原版英文英语Specification
代数SpecificationDevelopmentAlgebraic
预售UnderstandingSpecificationLanguage
预售SpecificationCommunicationAlgebraic
预售SpecificationModelingSystem
SpecificationRefinementAutomatic模型
SpecificationInternationalVerificationInteractive
预售SpecificationLanguagesSelected
预售CommunicationSpecificationProtocol
和服CommunicationSpecificationDeployment
Specification嵌入式Embedded经过
SpecificationArchitectural建筑材料Materials
代数SpecificationFoundationsAlgebraic
预售SpecificationVerificationModular
SpecificationVerificati预订Design
预售SpecificationLanguageObject
预售SpecificationDevelopmentInteractive
预售SpecificationEngineeringTechniques
SpecificationApplicationsDescriptionLanguages
