书目详细信息 : 泛函分析和时间最优控制