The Science of Programming 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

The Science of Programming 2024 pdf epub mobi 电子书 著者简介

---

The Science of Programming 电子书 图书目录

Why Use logic? Why Prove Programs Correct?
Propositions
Reasoning using Equivalence Transformations
A Natural Deduction System
Predicates
Nations and Conventions for Arrays
Using Assertions To Document Programs
The Predicate Transformer wp
The Commands skip, abort and Composition
The Assignment Command
The Alternative Command
The Iterative Command
Procedure Call
Introduction
Programming as a Goal-Oriented Activity
Developing Loops from Invariants and Bounds
Developing Invariants
Notes on Bound Functions
Using Iteration Instead of Recursion
Efficiency Considerations
Two Larger Examples of Program Development
Inverting Programs
Notes on Documentation
Historical Notes
· · · · · · (收起)

---

下载链接在页面底部

点击这里下载

    

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

---

---

想要找书就要到 本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

---

发表于2024-05-12

The Science of Programming 2024 pdf epub mobi 电子书

The Science of Programming 2024 pdf epub mobi 电子书

The Science of Programming 2024 pdf epub mobi 电子书

---

喜欢 The Science of Programming 电子书 的读者还喜欢

The Science of Programming 电子书 读后感

图书标签: 算法  计算机  编程  Programming  计算机科学  算法学习之路   

The Science of Programming 2024 pdf epub mobi 电子书 图书描述

The Science of Programming 2024 pdf epub mobi 用户评价

The Science of Programming 2024 pdf epub mobi 电子书

• 
  数据结构与算法分析(C++版)(第3版) 2024 pdf epub mobi 电子书
• 
  算法与数据结构 2024 pdf epub mobi 电子书
• 
  仿生智能计算 2024 pdf epub mobi 电子书
• 
  Handbook of Data Structures and Applications 2024 pdf epub mobi 电子书
• 
  大数据技术原理与应用 2024 pdf epub mobi 电子书
• 
  多智能体机器学习--强化学习方法 2024 pdf epub mobi 电子书
• 
  统计思维：程序员数学之概率统计 2024 pdf epub mobi 电子书
• 
  概率 2024 pdf epub mobi 电子书
• 
  操作系统概念(第六版 影印版) 2024 pdf epub mobi 电子书
• 
  Algorithms Sequential & Parallel 2024 pdf epub mobi 电子书
• 
  现代应用数学手册 2024 pdf epub mobi 电子书
• 
  C语言接口与实现 2024 pdf epub mobi 电子书
• 
  算法设计与分析 2024 pdf epub mobi 电子书
• 
  算法设计与分析基础 2024 pdf epub mobi 电子书
• 
  Concentration of Measure for the Analysis of Randomized Algorithms 2024 pdf epub mobi 电子书
• 
  你不可不知的50个数学知识 2024 pdf epub mobi 电子书
• 
  ACM国际大学生程序设计竞赛 2024 pdf epub mobi 电子书
• 
  马尔可夫链：模型、算法与应用 2024 pdf epub mobi 电子书
• 
  程序设计导论 2024 pdf epub mobi 电子书
• 
  快速傅里叶变换 2024 pdf epub mobi 电子书