形式方法和软件工程LNCS-4260

请输入要查询的图书：

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

形式方法和软件工程LNCS-4260

ISBN: 9783540474609

出版年: 2006-12

页数: 775

定价: 949.20元

关键词：形式 方法 和 软件工程 LNCS 4260
电脑版 | 手机版 | 计算器