Program construction : calculating implementations from specifications /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydáno: |
New York :
Wiley,
c2003.
|
| Témata: | |
| On-line přístup: | Contributor biographical information Publisher description Table of contents |
| LEADER | 02035cam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | c000379626 | ||
| 003 | CARM | ||
| 005 | 20110207102948.0 | ||
| 008 | 110207s2003 nyu b 001 0 eng d | ||
| 010 | |a 2003006224 | ||
| 015 | |a GBA382793 |2 bnb | ||
| 019 | 1 | |a 24505044 |5 LACONCORD2021 | |
| 020 | |a 0470848820 (Paper : alk. paper) | ||
| 035 | |a (OCoLC)223384656 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c VCAV |d DLC | ||
| 050 | 0 | 0 | |a QA76.6 |b .B29 2003 |
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 100 | 1 | |a Backhouse, Roland C., |d 1948- | |
| 245 | 1 | 0 | |a Program construction : |b calculating implementations from specifications / |c Roland Backhouse. |
| 260 | |a New York : |b Wiley, |c c2003. | ||
| 300 | |a xii, 340 p. : |b ill. ; |c 23 cm. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | 0 | |a Machine derived contents note: Preface. -- A Science of Computing. -- A Searching Problem and Its Solution. -- Calculational Proof. -- Implementation Issues. -- Calculational Logic: Part 1. -- Number Conversion. -- Calculational Logic: Part 2. -- Maximum and Minimum. -- The Assignment Statement. -- Sequential Composition and Conditional Statements. -- Quantifiers. -- Inductive Proofs and Constructions. -- Iteration. -- Sorting and Searching Algorithms. -- Remainder Computation. -- Cyclic Codes. -- Appendix. -- Solutions to Exercises. -- References. -- Glossary of Symbols. -- Index. |
| 650 | 0 | |a Computer programming. | |
| 856 | 4 | 2 | |3 Contributor biographical information |u http://www.loc.gov/catdir/bios/wiley045/2003006224.html |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/wiley038/2003006224.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/wiley031/2003006224.html |
| 852 | 8 | |b CARM |p 0530774 |f BK | |
| 852 | 8 | |b SCAN |h A3:AF01G0 |i C12638 |p 0530774 |f BK | |
| 999 | f | f | |i 4a3fc3db-b5b7-519f-b92e-37873e7f9fd6 |s 9a3c4dba-b0dd-51c9-a125-d5dc2224ed2c |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |i book |m 0530774 |
| 952 | f | f | |a CAVAL |b CAVAL |c CAVAL |d Unmapped Location |e C12638 |f A3:AF01G0 |h Other scheme |