高级语言

高级语言及算法设计实验教程.pdf

  本书整合了高级语言、数据结构与算法以及计算机图形算法基础三门实验课程内容,并充分考虑课程知识体系的内在联系和地理信息科学专业特点,设计了22 个实验。主要内容包括:高级语言基础实验系列(实验1~9),主要介绍开发环境、数据类型、语法基础、流程控制、面向对象基础等;高级语言深度

高级语言程序设计Visual Basic实训.pdf

本书包括实验篇和习题篇。实验篇是根据教程中知识点精心设计的上机实验内容,并设有综合实验部分,要求学生通过完善程序代码后,经过调试运行实现程序功能;习题篇中的知识要点对主教材知识点进行概括,实战测试给出主教材中相应章节的测试题,并在答案与解析中给出参考答案。

高级语言程序设计Visual Basic.pdf

本书介绍了Visual Basic 6.0可视化程序环境下的编程方法、窗体和控件的使用、常用事件和方法、程序结构及基本算法、过程和数组。

高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf

随着现代社会信息化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性,从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术,分析比较各类主流证明助手的设计特点,重点讨论在编译器验证领域取得的重要研究成果,并以实例详