下载  >  课程资源  >  专业指导  > 计算机程序设计的公理依据

计算机程序设计的公理依据 评分:

计算机理论经典文档系列 An axiomatic basis for computer programming 计算机程序设计的公理依据(呵,中文名都是我胡乱译的)

...展开详情
2008-12-05 上传 大小:643KB
举报 收藏
分享

评论 下载该资源后可以进行评论 共1条

bj_stone 这个资料很好,但看起来很难。
2014-03-24
回复
计算机程序设计员题库

计算机程序设计员题库,包括计算机程序设计员试题库答案和讲解

立即下载
CCF中学生计算机程序设计基础篇

本书由CCF组织富有程序设计教学经验的中学老师编写。通过详实的例题,循序渐进地介绍中学生计算机程序设计的各种知识,内容包括模块化编程、字符串处理、数据类型的组合、指针、数据外部存储、数据结构及其应用、简单算法、数学在程序设计中的应用、STL(标准模块库)简要说明等,旨在普及计算机科学教育,培养中学生的计算思维能力。浅显的描述揭示深刻的内涵,信息学国际教练,教你如何编程!

立即下载
计算机控制技术课程实验报告

计算机控制技术课程实验报告,系统认识与程序调试练习,D/A转换实验,A/D转换实验,最小拍控制系统

立即下载
《Java程序设计》课程实验指导书程序代码(答案)(实验六)

《Java程序设计》课程实验指导书程序代码(答案)(实验六:Java数组、字符串及常用类应用),个人原创,仅供参考与交流。本实验分为11个小实验,比较复杂且比较多,所以分值有点高,希望大家理解。 个人博客 http://plum.0602.blog.163.com/ 个人微博 http://weibo.com/plumlucky 希望多多交流,共同进步! 实验六 Java数组、字符串及常用类应用 一、实验目的: 掌握数组的定义和使用方法;熟悉数组的排序、查找等算法。 掌握字符串的使用方法。 二、实验内容: 1.编写Application程序, 从命令行参数输入10个整数并保

立即下载
计组课设部分实验.zip

计算机组成原理的课程设计源程序即测试代码,包括一位,四位全加器,四位运算器,分频器等

立即下载
html+css+js制作的一个动态的新年贺卡

该代码是http://blog.csdn.net/qq_29656961/article/details/78155792博客里面的代码,代码里面有要用到的图片资源和音乐资源。

立即下载
Camtasia 9安装及破解方法绝对有效

附件中注册方法亲测有效,加以整理与大家共享。 由于附件大于60m传不上去,另附Camtasia 9百度云下载地址。免费自取 链接:http://pan.baidu.com/s/1kVABnhH 密码:xees

立即下载
电磁场与电磁波第四版谢处方 PDF

电磁场与电磁波第四版谢处方 (清晰版),做天线设计的可以作为参考。

立即下载
压缩包爆破解密工具(7z、rar、zip)

压缩包内包含三个工具,分别可以用来爆破解密7z压缩包、rar压缩包和zip压缩包。

立即下载
算法第四版 高清完整中文版PDF

《算法 第4版 》是Sedgewick之巨著 与高德纳TAOCP一脉相承 是算法领域经典的参考书 涵盖所有程序员必须掌握的50种算法 全面介绍了关于算法和数据结构的必备知识 并特别针对排序 搜索 图处理和字符串处理进行了论述 第4版具体给出了每位程序员应知应会的50个算法 提供了实际代码 而且这些Java代码实现采用了模块化的编程风格 读者可以方便地加以改造

立即下载
等级考试运行环境 VB6 VFP6 VC6 VC2010Express

等级考试运行环境 VB6 VFP6 VC6 VC2010Express(VC2010学习版)。其他环境,可以去等考官网下载。

立即下载
jdk1.8下载

jdk1.8下载

立即下载
DroidCamX 6.5 电脑端和手机端(2018年版本)

DroidCamX 6.5 适配安卓8.0和win10系统。让你的安卓手机变成摄像头。

立即下载
身份证号对应籍贯表大全(共6456条)

身份证号对应籍贯表大全(共6456条),可以很方便查出身份证对应的籍贯,方便工作、项目使用

立即下载
使用STM32F103C8开发MLX90621的例程

使用STM32F103C8作为芯片的开发板,通过I2C协议,对MLX90621进行开发的例程

立即下载
DirectX修复工具V3.7在线修复版

DirectX修复工具(DirectX Repair)是一款系统级工具软件,简便易用。本程序为绿色版,无需安装,可直接运行。 本程序的主要功能是检测当前系统的DirectX状态,如果发现异常则进行修复。程序主要针对0xc000007b问题设计,可以完美修复该问题。本程序中包含了最新版的DirectX redist(Jun2010),并且全部DX文件都有Microsoft的数字签名,安全放心。 本程序为了应对一般电脑用户的使用,采用了傻瓜式一键设计,只要点击主界面上的“检测并修复”按钮,程序就会自动完成校验、检测、下载、修复以及注册的全部功能,无需用户的介入,大大降低了使用难

立即下载
同济大学线代第六版PDF高清扫描版

同济大学的线代第六版PDF高清扫描版 要考数学3的同学可以下载看下 上传记录里面还有考数3的其他资源 有需要的可以自行下载

立即下载
高等数学第七版(同济大学)下册pdf

高等数学第七版(同济大学)下册教材pdf (PS:高等数学第七版上下册均有,因上传文件容量有限,因此分为两次上传,请有需要上册的朋友点开我的资源下载页进行下载)

立即下载
Spring相关的外文文献和翻译(毕设论文必备)

Spring相关的外文文献和中文译文,毕业设计论文必备。SSM框架可使用。

立即下载