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:
Out of Print
|
|
|
|
|
2.
|
|
The Formal Semantics of Programming Languages(Paperback)
An Introduction
MIT Press
Published:
05/02/1993
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.
In Stock:
None
List Price:
|
£62.99 |
|
Availability:
Printed on Demand
|
|
|
|
|
3.
|
|
4.
|
|
5.
|
|
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...
|
|
6.
|
|
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...
|
|
7.
|
|
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...
|
|
8.
|
|
9.
|
|
10.
|
|
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...
|
|
|