Science of Programming (Record no. 41057)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01820nam a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140223b1981 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540964803 |
| Terms of availability | 0.00 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Item number | GRI |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Gries, David |
| 245 ## - TITLE STATEMENT | |
| Title | Science of Programming |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | London |
| Name of publisher, distributor, etc. | Springer-Verlag |
| Date of publication, distribution, etc. | 1981 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 366p |
| 500 ## - GENERAL NOTE | |
| General note | Part - 0: Why Use Logic? Why Prove Programs Correct? Part - 1: Propositions and Practices Propositions Reasoning Using Equivalence Transformations A Natural Deduction System Predicates Notations and Conventions for Arrays Using Assertions to Document Programs Part - 2: The Semantics of a Small Language The Predicate Transformer The Commands Skip Abort and Composition The Assignment Command The Alternative Command Procedure Call The Iterative Command Procedure Call Part - 3: The Development of Programs 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 Appendix - 1: Backus Naur Form Appendix - 2: Sets, Sequences, Integers and Real Numbers Appendix - 3: Relations and Functions Appendix - 4: Asymptotic Execution Time Properties Answers to Exercises; References; Index References Index |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Computer Engineering |
| 890 ## - | |
| -- | UK |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | GRI |
| -- | 009502 |
| -- | ITC-PG0 |
| -- | 3036.38 |
| -- | 0 |
| -- | 049 |
| -- | 102838 |
| -- | 0 |
| -- | 0.00 |
| -- | 4744.35 36% |
| -- | 20100806 |
| -- | 01 |
| -- | C |
| -- | 20100820 |
| -- | Himanshu Book Co. |
| -- | General |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | GRI |
| -- | 009502 |
| -- | ITC-PG0 |
| -- | 3036.38 |
| -- | 0 |
| -- | 049 |
| -- | 102838 |
| -- | 0 |
| -- | 0.00 |
| -- | 4744.35 36% |
| -- | 20100806 |
| -- | 01 |
| -- | C |
| -- | 20100820 |
| -- | Himanshu Book Co. |
| -- | Reference |
No items available.