www.cs.ox.ac.uk/publications/books/index.html

You are here:

• Home
• Research
• Publications

Text books

Teaching material

Staff of the Computing Laboratory have authored or co-authored a number of textbooks. Teaching material is available to accompany some of the most recent publications:

• Algebra of Programming
• Theory and Practice of Concurrency
• Introduction to Functional Programming
• Programming from Specifications
• Using Z:Specification, Refinement, and Proof