当前位置:首页 > 计算机/网络 > 英文原版书-计算机 > Computer Aided Verification 计算机辅助验证:CAV 2006/会议录
版 次:1页 数:564字 数:印刷时间:2006年09月01日开 本:纸 张:胶版纸包 装:平装是否套装:否国际标准书号ISBN:9783540374060作者:Thomas Ball 著出版社:崇文书局(原湖北辞书出版社)出版时间:2006年09月
Computer Aided Verification 计算机辅助验证:CAV 2006/会议录下载
PDF图书网
PDF图书网 @ 2017