Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Courses 2011–12
Hoare Logic
Course materials
Bioinformatics
Computer Systems Modelling
Digital Signal Processing
Hoare Logic
Information Theory and Coding
Optimising Compilers
Principles of Communications
Quantum Computing
Types
Artificial Intelligence II
Business Studies
Comparative Architectures
Computer Vision
Denotational Semantics
Information Retrieval
Natural Language Processing
Security II
Temporal Logic and Model Checking
Topical Issues
Advanced Graphics
Business Studies Seminars
E-Commerce
Mobile and Sensor Systems
System-on-Chip Design
Course pages 2011–12
Hoare Logic
Syllabus
Course materials
Information for supervisors
Further details can be found
here
.
© 2011 Computer Laboratory, University of Cambridge
Information provided by
Prof Mike Gordon