南京工程学院

Programming logics : an introduction to verification and semantics /

责任者： GUMB RAYMOND D  RAYMOND D GUMB 

• 出版信息：Wiley, / c1989.
• ISBN：0471605395