Search for tag: "invariance"

cos326-2020-13-01-representation-invariants duration 12 minutes 36 seconds cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 +20 More From Daniel Macleod 0 likes 212 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ

duration 12 minutes 36 seconds

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

+20 More

From Daniel Macleod 0 likes 212 plays

Date

August 16th, 2020

Speaker

David Walker

Department

COS

Location

Princeton NJ