高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详
高级语言
高级语言程序设计Visual Basic.pdf
本书介绍了Visual Basic 6.0可视化程序环境下的编程方法、窗体和控件的使用、常用事件和方法、程序结构及基本算法、过程和数组。
高级语言程序设计Visual Basic实训.pdf
本书包括实验篇和习题篇。实验篇是根据教程中知识点精心设计的上机实验内容，并设有综合实验部分，要求学生通过完善程序代码后，经过调试运行实现程序功能；习题篇中的知识要点对主教材知识点进行概括，实战测试给出主教材中相应章节的测试题，并在答案与解析中给出参考答案。
高级语言及算法设计实验教程.pdf
本书整合了高级语言、数据结构与算法以及计算机图形算法基础三门实验课程内容，并充分考虑课程知识体系的内在联系和地理信息科学专业特点，设计了22 个实验。主要内容包括：高级语言基础实验系列(实验1～9)，主要介绍开发环境、数据类型、语法基础、流程控制、面向对象基础等；高级语言深度
高级语言程序设计 : C语言描述.pdf
本书内容涉及C程序设计基础，数据类型、运算符和表达式，结构化程序设计，数组、指针，函数，结构体类型、文件等。
学习指导与题典. 高级语言程序设计.pdf
本书与指定教材的章节一一对应，内容有导学，重点、难点、知识点精析，题型解析，练习题和参考题答案。