请输入要查询的图书：
副标题: 2006:France)FormalTechniquesforNetworkedandDistributedsystems-FORTE2006.--(Le
ISBN: 9783540462194
出版年: 2006-12
页数: 483
定价: 937.90元
网络与分布式系统用形式化技术 - FORTE 2006/会议录_图书大全
