Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Modal Logic
Patrick Blackburn
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£86.99
£86.65
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketBasic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketIntroduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of stock
Format: Book (Hardback)
Lambda-calculus, Combinators and Functional Programming
G. E. Revesz
Out of stock
Format: Book (Paperback / softback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
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
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketBasic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Hardback)
Computational Learning Theory
M. H. G. (London School of Economics and Political Science) Anthony
Out of stock
Format: Book (Paperback / softback)
Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of stock
Format: Book (Paperback / softback)
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)
Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of stock
Format: Book (Paperback / softback)
Finite-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 BasketInitial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Jiri (Czech Technical University in Prague) Adamek
Pre-Order
Format: Book (Hardback)
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)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Paperback / softback)
Mathematical Theory of Domains
V. (Uppsala Universitet, Sweden) Stoltenberg-Hansen
Out of stock
Format: Book (Paperback / softback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Paperback / softback)
Algebraic Specification of Communication Protocols
S. (Technische Universiteit Eindhoven, The Netherlands) Mauw
Out of stock
Format: Book (Paperback / softback)
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Paperback / softback)
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of stock
Format: Book (Paperback / softback)
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of stock
Format: Book (Paperback / softback)