复杂容错系统的严格开发/Rigorous development of complex fault-tolerant systems
Butler, Michael; Jones, Cliff; Romanovsky, Alexander
出版时间:2006-12
作者:Butler, Michael; Jones, Cliff; Romanovsky, Alexander
图书封面
下载链接
复杂容错系统的严格开发/Rigorous development of complex fault-tolerant systemsPDF格式下载