The Science of Programming; Monographs in- 9780387906416, David Gries, hardcover
US $6.57
大約HK$ 51.21
狀況：
良好
曾被閱讀過的書籍，但狀況良好。封面有諸如磨痕等在內的極少損壞，但沒有穿孔或破損。精裝本書籍可能沒有書皮。封皮稍有磨損。絕大多數書頁未受損，存在極少的褶皺和破損。使用鉛筆標注文字處極少，未對文字標記，無留白處書寫文字。沒有缺頁。
運費：
免費 Standard Shipping.
所在地：Arlington, Texas, 美國
送達日期：
估計於 9月26日, 四至 10月1日, 二之間送達 運送地點 43230
退貨：
30 日退貨. 由買家支付退貨運費.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
安心購物
物品細節
- 物品狀況
- Book Title
- The Science of Programming; Monographs in- 9780387906416, David G
- Artist
- Gries, David
- ISBN
- 9780387906416
- Publication Year
- 1987
- Series
- Monographs in Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Subject Area
- Computers
- Publication Name
- Science of Programming
- Publisher
- Springer
- Subject
- Programming Languages / General, Programming / General, Software Development & Engineering / General
- Item Weight
- 25 Oz
- Number of Pages
- Xv, 388 Pages
關於產品
Product Identifiers
Publisher
Springer
ISBN-10
038790641X
ISBN-13
9780387906416
eBay Product ID (ePID)
15038288785
Product Key Features
Number of Pages
Xv, 388 Pages
Publication Name
Science of Programming
Language
English
Publication Year
1987
Subject
Programming Languages / General, Programming / General, Software Development & Engineering / General
Type
Textbook
Subject Area
Computers
Series
Monographs in Computer Science Ser.
Format
Hardcover
Dimensions
Item Weight
25 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Dewey Edition
21
TitleLeading
The
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1
Synopsis
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.
LC Classification Number
QA76.758QA76.6-76.6
賣家提供的物品說明
賣家信用評價 （285,199）
- y***0 (1551)- 買家留下的信用評價。過去 1 個月購買已獲認證I was amazed by the very exact nature of this instructional tract. Amazing tract.
- m***5 (241)- 買家留下的信用評價。過去 1 個月購買已獲認證Recommened seller.
- k***i (1701)- 買家留下的信用評價。過去 1 個月購買已獲認證The Scarpetta series by Patricia Cornwell is pretty good - I'm reading them in sequence - which means that I am finding them worth reading. For my liking, Cornwell once in a while takes too much time on interpersonal relationships, to an extent that detracts from the movement of the plot. I'm currently reading Red Mist, and so far there's been only one or two books that I wasn't satisfied with. If you like John Sandford, Robert Crais, James Lee Burke - you'll like this series.