Official Cornell University course, subtitled Object-Oriented Design and Data Structures (Honors), also listed as ENGRD 2112. Fall 2019 identifies the course offering. The inspected course page has a placeholder for course staff; no individual instructor or note author is established. Cornell University is the issuer and host.
Unsigned institutional lecture notes in CS 2112 Fall 2019. No individual author, editor or transcriber is credited, and no publication or revision date is established.
Cited passages: opening definition; Using loop invariants to show code is correct, Establishment, Preservation, Postcondition and Termination; Binary search loop invariant; Debugging and choosing loop invariants.

Articles by others on the same topic (0)

There are currently no matching articles.