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.
Course homepage: www.cs.cornell.edu/courses/cs2112/2019fa/
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
There are currently no matching articles.