Mathematical Theory of Domains
V. (Uppsala Universitet, Sweden) Stoltenberg-Hansen
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£50.99
£43.66
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketInformation Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£53.99
£45.45
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketAlgebraic Specification of Communication Protocols
S. (Technische Universiteit Eindhoven, The Netherlands) Mauw
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£40.99
£35.49
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 (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketHybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.16
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
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 (Paperback / softback)
£25.99
£23.63
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
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 (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketThe Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£20.99
£20.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketDesign 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 BasketConcurrency 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 (Paperback / softback)
£49.99
£43.18
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketNonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
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 BasketNonmonotonic 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 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 BasketFormal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
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 BasketFormal Specification and Design
L. M. G. Feijs
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 BasketHybrid 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 BasketBelief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.95
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket