Computer Aided Verification 计算机辅助验证

请输入要查询的图书：

可以输入图书全称，关键词或ISBN号

Computer Aided Verification 计算机辅助验证

ISBN: 9783540374060

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

出版年: 2006-9

页数: 564

定价: 768.40元

装帧: 平装

关键词：Computer Aided Verification 计算机辅助 验证
电脑版 | 手机版 | 计算器