×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [david gries]
Computing Fundamentals 2 Lecture 1 A Theory of Graphs Lecturer: Patrick Browne Room [KA] - 3-020, Lab [KA] - 1-017 Based on Chapter 19. A Logical approach
215 views
Computing Fundamentals 1 Lecture 0 Lecturer: Patrick Browne Room K308 Based on Chapter 0. A Logical
213 views
Computing Fundamentals 1 Lecture 7 Relations Lecturer: Patrick Browne Room K308 Based on Chapter 14. A Logical approach
216 views
Computing Fundamentals 1 Lecture 1 Lecturer: Patrick Browne Room K308 Based on Chapter 1. A Logical approach to Discrete
216 views
Computing Fundamentals 1 Lecture 6 A Theory of Sets Lecturer: Patrick Browne Room K308 Based on Chapter 11. A Logical approach
218 views
Computing Fundamentals 2 Lecture 3 Modern Algebra Lecturer: Patrick Browne
[email protected]
Lecture Room Based on
219 views
† Susan Owicki and David Gries. Verifying properties of parallel programs: An axiomatic approach. CACM 19(5), pp. 279−285, May 1976. ‡ Leslie
218 views
Computing Fundamentals 2 Lecture 2 A theory of Graphs Lecturer: Patrick Browne Lecture Room K320, Labs A117 Based on Chapter
221 views
CS1110 Classes, stepwise refinement 12 Feb 2009
30 views
Computing Fundamentals 1 Lecture 1
59 views
Computing Fundamentals 1 Lecture 6 A Theory of Sets
48 views