下载 >  课程资源 >  专业指导 > 程序设计方法学-程序设计方法学的ppt
0分

程序设计方法学-程序设计方法学的ppt

主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 培养学生运用这些理论和方法,从认识规律出发训练各种良好的程序设计习惯,掌握到目前为止公认为成熟的有实用价值的具有完整科学理论和与之相关的技术方法作指导的软件设计和开发技术。
2009-06-13 上传大小:4.89MB
立即下载 开通VIP
分享
收藏 举报
程序设计方法学(浙江大学出版社) 立即下载
3积分/C币
程序设计方法学课件打包 立即下载
3积分/C币
让你学会程序设计方法 立即下载
3积分/C币
程序设计方法学PPT 立即下载
3积分/C币
程序设计方法学试题及答案 立即下载
3积分/C币
程序设计方法学 ppt 立即下载
3积分/C币
程序设计方法学 立即下载
0积分/C币
程序设计方法学课程设计 立即下载
3积分/C币
程序设计方法学 课件 立即下载
3积分/C币
程序设计方法学考试题 立即下载
3积分/C币

热点文章

  • sip over tcp or udp

    2014-04-14 shcalm
  • 通信系列2: 深入浅出SIP协议

    2015-02-11 c80486
  • SIP可靠性(SIP Reliability)

    2013-09-03 SUKHOI27SMK
  • 深入浅出sip协议

    2017-03-30 zhanxiaoqi
  • SIP穿越NAT SIP穿越防火墙-SBC

    2015-06-28 wtyvhreal
  • 程序设计方法学(浙江大学出版社)

    2009-05-30 sensenmrchen
  • 程序设计方法学课件打包

    2009-05-23 YZCWT
  • 让你学会程序设计方法

    2009-08-09 yesheng_CN
  • 程序设计入门16 排序和排名与结构体

    2018-07-06 qq2285580599
  • 第一次程序设计作业《三天打鱼两天晒网》

    2017-03-15 qq_35085353
关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

程序设计方法学-程序设计方法学的ppt

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: