Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
Item not Available
Format: Book (Hardback)
£72.99
£64.45
Item not Available
Book (Hardback)
Nominal Sets : Names and Symmetry in Computer Science
Andrew M. (University of Cambridge) Pitts
Out of stock
Format: Book (Hardback)
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
Out of stock
Format: Book (Hardback)
Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of stock
Format: Book (Hardback)
Predicate Transformer Semantics
Ernest. G. (University of Massachusetts, Amherst) Manes
Out of stock
Format: Book (Paperback / softback)
The Optimal Implementation of Functional Programming Languages
Andrea (Universita degli Studi, Bologna, Italy) Asperti
Out of stock
Format: Book (Hardback)