VerificationHardwareSoftware验证
数值VerificationNumericalSoftware
欧洲ArchitectureMontpellierConference
软件工程InternationalFundamentalEngineering
软件工程InternationalEngineering时事
软件工程InternationalEngineeringSymposium
InternationalConferenceSoftwareTesting
InternationalRequirementsEngineeringFoundation
InternationalFoundationsComputationStructures
软件工程EngineeringSoftware基于
软件工程Engineering弹性Resilient
形式化方法软件工程EngineeringSoftware
InternationalConference组件Component
过程改进产品为InternationalImprovement
ArchitectureCraftsman'sStructure预订
工程奖DenertErnst2019
云中Software软件工程Engineering
信和传感CommunicationComputation
Verification展望DeductiveSoftware
预订SoftwareDefinedStorage
SoftwareInfrastructureEnterprises基础设施
框框演化破解软件跳出
交付ContinuousDeliveryReliable
通向敏捷桥梁Manager's
Architect'sRedefining架构Architect
C++9780367510466SynthesizerDesigning
预售BusinessSoftware
DocumentationPerspectives预订Software
预订SoftwareTesting
项目管理ManagementSoftwareProject
预订SoftwareMetrics
Engineers预订SecuritySoftware
C#软件测试SoftwareAnalysis
预售DevelopmentSoftwareFirst
嵌入式Development软件开发Embedded
C++预售SynthesizerDesigning
预售SoftwareConciseTesting
9783030975784预订AirborneSoftware
9783031088926DesigningIntensive预订
