The Science of Programming pdf epub mobi txt 电子书 下载 2025
出版者:Springer
作者:David Gries
出品人:
页数:388
译者:
出版时间:2014-9-29
价格:USD 24.95
装帧:Paperback
isbn号码:9781461259848
丛书系列:
图书标签:
- 算法
- 计算机
- 编程
- Programming
- 计算机科学
- 算法学习之路
- Programming
- Computer Science
- Science
- Algorithms
- Data Structures
- Software Engineering
- Coding
- Languages
- Formal Methods
下载链接在页面底部
具体描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
作者简介
目录信息
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
· · · · · · (收起)
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
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有