25 元券9783642114465ConstructionDedicatedAnalysis¥5310去看看澜瑞图书专营店发布了【4周达】Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger o... [9783642114465]