×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [david gries]
Documents
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
Documents
Computing Fundamentals 1 Lecture 0 Lecturer: Patrick Browne Room K308 Based on Chapter 0. A Logical
213 views
Documents
Computing Fundamentals 1 Lecture 7 Relations Lecturer: Patrick Browne Room K308 Based on Chapter 14. A Logical approach
216 views
Documents
Computing Fundamentals 1 Lecture 1 Lecturer: Patrick Browne Room K308 Based on Chapter 1. A Logical approach to Discrete
216 views
Documents
Computing Fundamentals 1 Lecture 6 A Theory of Sets Lecturer: Patrick Browne Room K308 Based on Chapter 11. A Logical approach
218 views
Documents
Computing Fundamentals 2 Lecture 3 Modern Algebra Lecturer: Patrick Browne
[email protected]
Lecture Room Based on
219 views
Documents
† Susan Owicki and David Gries. Verifying properties of parallel programs: An axiomatic approach. CACM 19(5), pp. 279−285, May 1976. ‡ Leslie
218 views
Documents
Computing Fundamentals 2 Lecture 2 A theory of Graphs Lecturer: Patrick Browne Lecture Room K320, Labs A117 Based on Chapter
221 views
Documents
CS1110 Classes, stepwise refinement 12 Feb 2009
30 views
Documents
Computing Fundamentals 1 Lecture 1
59 views
Documents
Computing Fundamentals 1 Lecture 6 A Theory of Sets
48 views