[an error occurred while processing this directive]

<meta name="keywords" content="Department of Computer Science publications books"/>
<meta name="description" content="Department of Computer Science Publications Books"/>

<title> Department of Computer Science, University of Oxford : Books </title>

[an error occurred while processing this directive]

<!-- BREADCRUMBS -->
	<div class="content-width">
		<ol class="breadcrumb text-uppercase">
			<li><a href="/" >Home</a></li>
			<li><a href="/research/" >Research</a></li>
			<li><a href="/research/publications/" >Publications</a></li>
			<li class="active">Books</li>
		</ol>
	</div>
	
	<!-- MOBILE NAVIGATION -->
	<div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm">
		<!-- DOM elements will be inserted here based on .mobile-menu-source -->
	</div>

	<!-- COLUMNS -->
	
	   
	<div class="container-fluid content-width">
		<div class="row">
			<div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent">

        			<!-- CONTENT (Column 2) -->
				<div class="page-title">
        			    <h1>Text books</h1>

        			</div>

				<!-- actual content -->

				<H3>Teaching material</H3>

				<p>
				Staff of the Department of Computer Science have authored or co-authored a
				number of textbooks.  Teaching material is available to accompany 
				some of the most recent publications:
				</p>
				<UL>
				<LI><A HREF="algebra/">Algebra of Programming</A></li>
				<LI><A HREF="concurrency/">Theory and Practice of Concurrency</A></li>
				<LI><A HREF="/publications/publication2018-abstract.html">Discrete Mathematics by Example</A></li>
				<LI><A HREF="functional/">Thinking Functionally with Haskell</a></li>
				<LI><A HREF="adwh/">Algorithm Design with Haskell</a></li>

				<LI><A HREF="fop/">The Fun of Programming</a></li>

				<LI><A HREF="PfS/">Programming from Specifications</a></li>
				<LI><A HREF="/ucs/">Understanding Concurrent Systems</a></li>
				<!-- <LI><A HREF="http://www.usingz.com/">Using Z:Specification, Refinement, and Proof</A></li>-->
				</UL>
	
			</div>
			<div class="col-xs-12 col-md-3 col-md-push-3">
               			 <!-- EMPTY (Column 3 - currently unused) -->
			</div>
	    
           		 <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">

                		<!-- NAVIGATION (Column 1) -->
                		<h2 class="side-menu-title text-uppercase">
                		    <a href="/research/">Research</a>
                		</h2>
		
				[an error occurred while processing this directive]
                
            		</div>
		</div>
	</div>

[an error occurred while processing this directive]