Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download - Immediately Available
Format: eBook (PDF)
Modal Logic
Patrick Blackburn
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of stock
Format: Book (Hardback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Hardback)
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Hardback)
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)
£102.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketFinite-State Techniques : Automata, Transducers and Bimachines
Stoyan Mihov
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£66.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketInformation Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Paperback / softback)
Design Theory and Computer Science
Subrata (University of Southwestern Louisiana) Dasgupta
Out of stock
Format: Book (Paperback / softback)
£80.00
£70.25
Item not Available
Book (Hardback)
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
Out of stock
Format: Book (Hardback)
Design Theory and Computer Science
Subrata (University of Southwestern Louisiana) Dasgupta
Out of stock
Format: Book (Hardback)
The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Out of stock
Format: Book (Hardback)
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of stock
Format: Book (Hardback)
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
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to BasketTwo-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of stock
Format: Book (Hardback)
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of stock
Format: Book (Hardback)
Algebraic Specification of Communication Protocols
S. Mauw
Item not Available
Format: Book (Hardback)
£60.00
£53.45
Item not Available
Book (Hardback)
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of stock
Format: Book (Hardback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Hardback)