Search for tag: "star"

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 217 plays

1.3 Navigating + Searching in Coeus

Coeus Training - Coeus Basics Part 3: How to navigate through Coeus modules and windows and how to search in Coeus.

From  Kyle Burkhardt on September 14th, 2019 0 likes 25 plays

2.3 Coeus Proposal Basics Part 3: Finding, Editing, Copying, Deleting a Proposal

Coeus Training - Proposal Development Part 3: Finding, editing, copying, and deleting your Proposal Development proposal.

From  Kyle Burkhardt on September 14th, 2019 0 likes 15 plays