文件名称：Rigorous Software Development - An Introduction to Program Verification
文件大小：2.95MB
文件格式：PDF
更新时间：2020-11-27 04:17:59
Rigorous Software Development
Rigorous Software Development - An Introduction to Program Verification 英文版 非扫描版 高清文字带图 By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa