Search for tag: "invariance"

Thumbnail for cos326-2020-13-01-representation-invariants

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:…

cos326
+20 More
From  Daniel Macleod August 16th, 2020 0 likes 213 plays
Date
August 16th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ