Language:Chinese.No Binding.publisher:National Defense Industry Press Pub. Date :2003-1-1.description:Pages Number: 266 Publisher: National Defence Industry Press Pub. Date :2003-1-1. This book introduces the programming methodology the main contents of this emerging discipline. that structured programming. program correctness proof. structured progr
"synopsis" may belong to another edition of this title.
£ 11.07 shipping from China to United Kingdom
Destination, rates & speedsSeller: liu xing, Nanjing, JS, China
paperback. Condition: New. Pages Number: 266 Publisher: National Defence Industry Press Pub. Date :2003-1-1. This book introduces the programming methodology the main contents of this emerging discipline. that structured programming. program correctness proof. structured programming correctness proof. recursive procedures and its correctness proof. derivation of the program in the form of technical. program transformation techniques. object-oriented design methods and programming methodology of large foundations. Book . Seller Inventory # L87851
Quantity: 3 available