2004年第2届国际验证与分析的自动化技术会议录

ISBN: 9783540236108

出版社: 1 (2004年11月23日)

出版年: 2004年11月

页数: 504

定价: 723.20元

装帧: 平装