豆瓣: 在哪儿买定时系统的形式建模与分析

作者: Asarin, Eugene; Bouyer, Patricia;
isbn: 3540450262
书名: 定时系统的形式建模与分析
页数: 367
定价: 587.60元
出版年: 2006-12