软件工程EngineeringSoftwareDedicate
分布式Distributed面向对象
原版书籍英文注解
非正式9781668438275黑人Leadership
分布式Distributed对象基于
形式化DescriptionsDeveloping描述
形式化方法硬件设计ApproachHardware
原版英文英语Architecture
软件工程InternationalEngineeringConference
9789401025331LinguisticsHistorical预订
FormalInternationalIndustrialConference
建模International定时Conference
分布式DistributedTechniquesNetworked
NASA第五届InternationalSymposium
InternationalTechniquesCriticalWorkshop
里克库布PhilosophicalKubrick's
形式化语义切片Applications
9781848613966Restraint印刷Formal
非正规InternationalPerspectivesComparative
形式化方法软件工程EngineeringSoftware
形式化内核Operating模型
英国England海外正式
Perspective视角Technology形式
博弈FoundationsSciencesInfinite
过程形式化Specification控制器
形式化方法蒸汽ApplicationsProgramming
EspritModelageSelected模型
信和建模ArchitectureConceptual
International第三届WebServices
形式化模块化SpecificationEngineering
InternationalIndustrialFmeSymposium
分布式Distributed基于对象
VerificationTechniquesScalable扩展
2005SpecificationInternationalDevelopment
中商形式Formal英文
形式化方法软件工程建模Engineering
