This was the first text to incorporate the important concepts of object-oriented programming into the second course in computer science. Using Turbo Pascal 6.0 as the implementation language, this text uses objects to show the encapsulation of values and operators in abstract data types (ADTs). In addition, this text does a thorough of job of integrating verification, analysis of algorithms, proofs of correctness, and recursion into the design of operators in ADTs. Software engineering principles are introduced early and are covered throughout the text.

• First text to integrate the important concepts of object-oriented programming with coverage of elementary data structures.
• Uses Turbo Pascal 6.0 as the implementation language.
• Understandable, thorough coverage of proofs, and analysis and verification of algorithms.
• Coverage of software engineering principles is presented early in the text (chapter 3) and integrated throughout.
• Instructor's manual will provide helpful teaching suggestions for presenting OOP concepts.