Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Department of Computer Science and Technology
Computer Laboratory
Teaching
Courses 2019–20
Computer Science Tripos Syllabus and Booklist 2019-20
Easter Term 2020: Part II lectures
Course pages 2019–20
Next:
Advanced Algorithms
Up:
Part II of the
Previous:
Unit: Topics in Concurrency
Contents
Easter Term 2020: Part II lectures
Subsections
Advanced Algorithms
Aims
Lectures
Objectives
Recommended reading
Business Studies Seminars
Aims
Lectures
Objectives
Recommended reading
Paper 7: Concepts in Programming Languages
Aims
Lectures
Objectives
Recommended reading
Paper 7: Formal Models of Language
Aims
Lectures
Objectives
Recommended reading
Hoare Logic and Model Checking
Aims
Lectures
Objectives
Recommended reading
© 2020 Department of Computer Science and Technology, University of Cambridge
Information provided by
[Javascript required]