| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Basic Category Theory for Computer Scientists(Paperback)
MIT Press
Published:
07/08/1991
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformatio...
|
In Stock:
None
| List Price:
|
£33.00 |
|
|
|
Availability:
Being Reprinted
|
|
|
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
Algorithmic Number Theory(Hardback)
v. 1
MIT Press
Published:
26/08/1996
An introduction to the design and analysis of algorithms for problems from the theory of numbers, is presented in this text. Although not an elementary textbook, it includes 300 exercises with sugge...
|
|
|
5.
|
|
|
From Logic to Logic Programming(Hardback)
MIT Press
Published:
01/12/1993
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn-clause logics, togethe...
|
|
|
6.
|
|
|
Control Flow Semantics(Hardback)
MIT Press
Published:
01/04/1996
In this text, a formal treatment is used for the presentation of the semantics of a range of control flow notions as found in sequential, concurrent, logic, object-orientated and functional programm...
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
Algebraic Semantics of Imperative Programs(Hardback)
MIT Press
Published:
22/05/1996
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve progra...
|
|
|
10.
|
|
|
Dynamic Logic(Hardback)
MIT Press
Published:
29/09/2000
This book provides the first comprehensive introduction to Dynamic Logic.
|
|
|