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 BasketTopological 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 BasketBasic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£39.34
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketTopology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.65
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketLambda-calculus, Combinators and Functional Programming
G. E. Revesz
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£42.38
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketIntroduction 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 BasketTerm 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 BasketBasic 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 BasketComputational Learning Theory
M. H. G. (London School of Economics and Political Science) Anthony
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£41.99
£36.25
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketEpistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketData 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 BasketFree Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketTemporal 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 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
£55.98
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketDesign 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 BasketA 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 BasketThe 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 BasketLogic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketNets, 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 BasketAction 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 BasketTwo-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 BasketHigher 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