-
分划递推法中泛型约束机制
¥83.2(8.5折)定价:¥98.0本书是作者在泛型程序设计领域多年研究的结晶,通过研究分划递推法中泛型约束机制的设计与实现,向读者展现泛型约束机制可解决一系列复杂泛型约束问题。读者阅读本书之后,既可对泛型程序设计有更深入的了解,也可参考本书提供的方法解决实际程序设计中可能会遇到的一些难题。 本书适合程序设计语言原理及软件形式化方向的高年级本科生、研究生和相关教师阅读,对从事可信软件行业的相关人员也有一定的借鉴和参考意义,对一般程序员深入了解程序设计语言原理有一