Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£54.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download Now
Format: eBook (PDF)
Modal Logic
Patrick Blackburn
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£86.99
£71.61
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£141.00
£113.76
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Term Rewriting Systems
Terese
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£195.00
£155.17
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£96.99
£78.48
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£125.00
£100.75
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Temporal Logics in Computer Science : Finite-State Systems
Stephane (Centre National de la Recherche Scientifique (CNRS), Demri
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£107.00
£86.96
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Design Theory and Computer Science
Subrata (University of Southwestern Louisiana) Dasgupta
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£63.99
£53.97
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£65.00
£54.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Design Theory and Computer Science
Subrata (University of Southwestern Louisiana) Dasgupta
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£152.00
£122.19
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory
T. H. (The University of Hong Kong) Tse
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£92.00
£75.45
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£61.00
£51.62
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£105.00
£85.42
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Action Semantics
Peter D. Mosses
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£75.00
£62.42
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to Basket
Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£122.00
£98.45
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£88.00
£72.38
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£88.00
£72.38
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£65.99
£55.50
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Applications of Process Algebra
J. C. M. Baeten
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£85.99
£70.84
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Optimal Implementation of Functional Programming Languages
Andrea (Universita degli Studi, Bologna, Italy) Asperti
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£76.99
£63.94
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£135.00
£109.16
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
H. (University of Manchester) Simmons
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£129.00
£103.82
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germa Roever
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£225.00
£187.53
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket