Computer Aided Verification 计算机辅助验证

ISBN: 9783540374060

出版社: 1 (2006年9月25日)

出版年: 2006-9

页数: 564

定价: 768.40元

装帧: 平装