Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Basic Simple Type Theory by J. Roger Hindley 9780521465182
RRP: €120.19Booksplease Price: €114.11Sorry no description is available for this book at this time. -
Categories for Types by Roy L. Crole 9780521457019
RRP: €78.54Booksplease Price: €73.09Sorry no description is available for this book at this time. -
Formal Specification and Design by L. M. G. Feijs 9780521435925
RRP: €57.11Booksplease Price: €55.09Sorry no description is available for this book at this time. -
Formal Methods in Artificial Intelligence by Allan M. Ramsay 9780521424219
RRP: €48.79Booksplease Price: €47.71Sorry no description is available for this book at this time. -
Logic and Information by Keith Devlin 9780521410304
RRP: €113.05Booksplease Price: €108.14Sorry no description is available for this book at this time. -
Logic and Computation: Interactive Proof with Cambridge LCF by Lawrence C. Paulson 9780521395601
RRP: €61.88Booksplease Price: €60.71Sorry no description is available for this book at this time. -
Distributed Ada: Developments and Experiences: Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11-12 December 1989 by Judy M. Bishop 9780521392518
RRP: €135.66Booksplease Price: €131.44Sorry no description is available for this book at this time. -
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory by T. H. Tse 9780521391962
RRP: €130.90Booksplease Price: €126.83Sorry no description is available for this book at this time. -
Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka 9780521383943
RRP: €80.92Booksplease Price: €77.22Sorry no description is available for this book at this time. -
Program Construction by R. G. Stone 9780521318839
RRP: €52.35Booksplease Price: €49.53Sorry no description is available for this book at this time. -
Illustrating BBC Basic by Donald G. Alcock 9780521314954
RRP: €52.36Booksplease Price: €48.18Sorry no description is available for this book at this time. -
A Practical Introduction to Denotational Semantics by L. Allison 9780521314237
RRP: €35.70Booksplease Price: €35.18Sorry no description is available for this book at this time. -
Computability: An Introduction to Recursive Function Theory by Nigel J. Cutland 9780521294652
RRP: €64.26Booksplease Price: €60.80Sorry no description is available for this book at this time. -
BCPL: The Language and its Compiler by Martin Richards 9780521286817
RRP: €55.93Booksplease Price: €54.04Sorry no description is available for this book at this time. -
Recursion via Pascal by J. S. Rohl 9780521269346
RRP: €49.98Booksplease Price: €47.48Sorry no description is available for this book at this time. -
Lectures in Game Theory for Computer Scientists by Krzysztof R. Apt 9780521198660
RRP: €138.04Booksplease Price: €133.55Sorry no description is available for this book at this time. -
Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel 9780521197465
RRP: €107.09Booksplease Price: €99.07Sorry no description is available for this book at this time. -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods by Willem-Paul de Roever 9780521169325
RRP: €89.25Booksplease Price: €86.60Sorry no description is available for this book at this time. -
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches by Howard Bowman 9780521168755
RRP: €57.11Booksplease Price: €55.44Sorry no description is available for this book at this time. -
Theories of Computability by Nicholas Pippenger 9780521153430
RRP: €53.55Booksplease Price: €51.93Sorry no description is available for this book at this time. -
Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral 9780521147750
RRP: €66.64Booksplease Price: €64.93Sorry no description is available for this book at this time. -
Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel 9780521147095
RRP: €71.40Booksplease Price: €66.95Sorry no description is available for this book at this time. -
Lambda-calculus, Combinators and Functional Programming by Gyorgy E. Revesz 9780521114295
RRP: €61.88Booksplease Price: €60.36Sorry no description is available for this book at this time. -
We Built Our Own Computers by A. B. Bolt 9780521093781
RRP: €53.55Booksplease Price: €51.93Sorry no description is available for this book at this time. -
Algebraic Specification of Communication Protocols by Sjouke Mauw 9780521088121
RRP: €51.17Booksplease Price: €49.81Sorry no description is available for this book at this time. -
Functional Programming and Input/Output by Andrew D. Gordon 9780521070072
RRP: €45.22Booksplease Price: €44.55Sorry no description is available for this book at this time. -
Domains and Lambda-Calculi by Roberto M. Amadio 9780521062923
RRP: €66.64Booksplease Price: €64.93Sorry no description is available for this book at this time. -
Basic Simple Type Theory by J. Roger Hindley 9780521054225
RRP: €45.22Booksplease Price: €42.21Sorry no description is available for this book at this time. -
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel 9780521054164
RRP: €45.22Booksplease Price: €44.55Sorry no description is available for this book at this time. -
Understanding Z: A Specification Language and its Formal Semantics by J.M. Spivey 9780521054140
RRP: €42.84Booksplease Price: €40.22Sorry no description is available for this book at this time. -
Compiling with Continuations by Andrew W. Appel 9780521033114
RRP: €98.77Booksplease Price: €88.99Sorry no description is available for this book at this time. -
The Uncertain Reasoner's Companion: A Mathematical Perspective by J. B. Paris 9780521032728
RRP: €55.93Booksplease Price: €54.04Sorry no description is available for this book at this time. -
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution by Robert L. Carpenter 9780521022545
RRP: €53.55Booksplease Price: €51.93Sorry no description is available for this book at this time. -
Free Choice Petri Nets by Jorg Desel 9780521019453
RRP: €48.79Booksplease Price: €47.71Sorry no description is available for this book at this time. -
Extensions of First-Order Logic by Maria Manzano 9780521019026
RRP: €82.11Booksplease Price: €78.64Sorry no description is available for this book at this time. -
Two-Level Functional Languages by Flemming Nielson 9780521018470
RRP: €59.50Booksplease Price: €58.25Sorry no description is available for this book at this time. -
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship by E. -R. Olderog 9780521018456
RRP: €53.55Booksplease Price: €51.93Sorry no description is available for this book at this time. -
Specifying Software: A Hands-On Introduction by R.D. Tennent 9780521004015
RRP: €49.98Booksplease Price: €47.48Sorry no description is available for this book at this time. -
Practical Database Programming With Visual C#.NET by Ying Bai 9780470467275
RRP: €126.08Booksplease Price: €112.86Sorry no description is available for this book at this time. -
Common LISPcraft by Robert Wilensky 9780393955446
RRP: €88.66Booksplease Price: €73.20Sorry no description is available for this book at this time.