SpecificationDevelopment预订Formal
Specification预订NotationFormal
SpecificationVerificationInteractive预订
SpecificationVerificationDevelopment预订
SpecificationApplicationsIntegrationEngineering
Specification9781461265184DevelopmentInteractive
Specification9783642641510FoundationsAlgebraic
9783540428077SpecificationVerificationInteractive
Specification9781852330026预订Formal
SpecificationFundamentalsAlgebraic预订
幸生代数SpecificationDedicated
SpecificationApplicationDevelopingComponents
Specification9783540076254EstimationProduction
工程地质观测Specification规程
SpecificationInternationalVerificationInteractive
SpecificationApplicationWorkshop趋势
应和并发SpecificationConcurrent
省略Specification变量Application
SpecificationVerificationInteractiveProceedings
SpecificationWorkshop趋势规范
代数CaslSpecificationIntroduction
代数SpecificationFoundationsAlgebraic
医药图书PremoSpecificationMultimedia
语义学规范InternationalSpecification
并发SpecificationVerificationConcurrent
过程形式化Specification控制器
代数SpecificationDevelopmentAlgebraic
SpecificationRefinementAutomatic模型
