000			01820nam a2200181Ia 4500
008			140223b1981 xxu||||| |||| 00| 0 eng d
020			_a9783540964803 _c0.00
082			_a005.1 _bGRI
100			_aGries, David
245			_aScience of Programming
260			_aLondon _bSpringer-Verlag _c1981
300			_a366p
500			_aPart - 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			_aComputer Engineering
890			_aUK
995			_AGRI _B009502 _CITC-PG0 _D3036.38 _E0 _F049 _G102838 _H0 _I0.00 _J4744.35 36% _L20100806 _M01 _UC _W20100820 _XHimanshu Book Co. _ZGeneral
995			_AGRI _B009502 _CITC-PG0 _D3036.38 _E0 _F049 _G102838 _H0 _I0.00 _J4744.35 36% _L20100806 _M01 _UC _W20100820 _XHimanshu Book Co. _ZReference
999			_c41057 _d41057