Program Construction： Calculating Implementations from Specifications（Roland Backhouse）（John Wiley & Sons， Ltd 2003）
内容简介：
书名：Program Construction: Calculating Implementations from Specifications
出版社：John Wiley & Sons, Ltd
作者：Roland Backhouse
出版年份：2003
电子书格式： pdf
简介：《Program Construction》是Roland Backhouse编写的一本经典著作，深入探讨了如何从规范中计算出程序实现的技术。该书由John Wiley & Sons于2003年出版，提供了从理论到实践的全面指导，适合程序员、软件工程师以及计算机科学学生阅读。通过详细的案例分析和数学证明，书中展示了如何系统化地构建高效、可靠的程序。多考网提供免费下载，帮助读者掌握程序构造的精髓。
ISBN：9780470848821, 04708
出版社：John Wiley & Sons, Ltd
作者：Roland Backhouse
出版年份：2003
电子书格式： pdf
简介：《Program Construction》是Roland Backhouse编写的一本经典著作，深入探讨了如何从规范中计算出程序实现的技术。该书由John Wiley & Sons于2003年出版，提供了从理论到实践的全面指导，适合程序员、软件工程师以及计算机科学学生阅读。通过详细的案例分析和数学证明，书中展示了如何系统化地构建高效、可靠的程序。多考网提供免费下载，帮助读者掌握程序构造的精髓。
ISBN：9780470848821, 04708
下载地址：
猜你喜欢：
![Python学习手册（[美] Mark Lutz）（机械工业出版社 2009）](https://yanxuan.nosdn.127.net/bf278d4ccbb795d179d61d83530fb295.jpg)
