作者：（美）斯特帕诺夫著 出版：北京：机械工业出版社 页数：283    ✅ 真实服务 非骗流量  ❤️ 出版时间：2012.01 （求助前请核对清楚） 求助编号：9129503180 （学习资料 勿作它用） 求助格式：PDF（无水印/扫描版）我要投诉 重要说明：求助即说明同意《文件求助条款》   Word/doc、ePubb、mobi、PPT、TXT

    • 本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。

    📙 相关书籍

    1. 《编程原本》高清PDF ...
    2. 《JAVA程序设计从入门到精通 上 开发入门篇》高清PDF 本书以基础知识与实际动手编码相结合为原则，以Java从基础到核心开发为主线，通过Java开发中的基本知识和常见的应用技术，介绍了实用性极强且频繁使用的Java技术。 本书共4篇18章，分上、下两册，涵盖的主要内容有：Java理论基础、Java开发环境、Java语言基础、流程控制、字符串、数组、对象与......
    3. 《Visual Basic程序设计实用教程 第4版》高清PDF 本书是VisualBasic的基础教程，详细介绍了VisualBasic语言与算法，通过大量的实例阐述了VisualBasic的基本概念、语言特征、程序设计的基本方法和技巧，以及面向对象的程序设计思想与事件驱动的编程机制。...
    4. 《Visual Basic程序设计教程》高清PDF 本书按照教育部教指委课程教学基本要求编写，共10章，主要内容包括：VisualBasic程序设计概述、VisualBasic可视化编程基础、VisualBasic语言基础、VisualBasic控制结构、常用控件、数组、过程、用户界面设计、数据文件、图形操作等。全书以培养学生程序设计基本能力为主线，......
    5. 《C语言程序设计》高清PDF 本书所介绍的C语言是目前最流行的程序设计语言。全书共12章，详细介绍了C语言的基本概念、数据类型及运算；利用控制滤程语句、散组、函数、结构体、指针以及文件等进行C语言程序设计的方法；在Visual C++6.0环境下建立、编辑、编译、连接和运行C语言程序的方法。本书包含了大量编著者的程序设计思想和经......
    6. 《C语言程序设计》高清PDF 本书共包含8章的内容，从开发环境的介绍、第一个C语言程序起步，包含了C语言常用的数据类型、运算符与表达式；三种基本控制结构及辅助控制结构；数组、指针与函数；动态内存分配与撤销；结构体、共用体、枚举等自定义类型；链表结构；文件等主要内容。本书实例都通过VisualC……...
    7. 《并行编程模式》高清PDF 本书介绍了并行编程的相关概念和技术。主要内容包括并行编程模式语言、并行计算的背景、软件开发中的并发性、并行算法结构设计、支持结构、设计的实现机制以及OpenMP、MPI等。...
    8. 《Java程序设计》高清PDF 利用多年的教学和学习经验进行编写，深入浅出循序渐进，使用大量的实例介绍java语言编程技巧。通过每章最后实例来总结该章节所学的内容，快速的进行java开发，让学生达到学以致用的目的。本书具有以下几个特点：1.内容简洁易懂，通过对实例的学习来加强对内容的理解。2.加深对面向对象编程的理解。3.每章最后......
    9. 《Java程序设计案例教程》高清PDF 全书按Java知识的系统性，由浅入深、循序渐进地介绍了Java语言实用知识与编程技术。内容包括Java语言概述、流程控制与异常处理、Java面向对象程序设计、数组与集合、GUI程序设计、Java数据库编程、流和文件、多线程与Applet、Java网络编程。每部分内容既有示例，又有案例。通过示例帮助学......
    10. 《VB.NET程序设计实训教程》高清PDF 本书以VisualBasic2013为蓝本，由浅入深地绍了VB.NET开发环境和各种控件的使用方法，通过实际应用阐述了VB.NET的编程方法。通过本书的学习进一步掌握了.NET框架上编程语言的使用，掌握了面向对象编程的特点。主要内容包括VB.NET的基本控件、常用控件、高级控件、VB语言的基础知识、......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。