-
1. Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
by Samson Abramsky
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, ... More
Most Popular Editions roll over images for details
-
from £17.50
-
from £3.34
- from £5.15
-
-
2. Abstract interpretation of declarative languages
by Samson Abramsky
Most Popular Edition roll over image for details
- from £28.84
-
3. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
by Samson Abramsky (Editor)
This book contains the keynote, invited and full contributed papers presented at COMPSTAT 2000, held in Utrecht. The papers range over all aspects of ... More
Most Popular Edition roll over image for details
-
from £6.95
-
-
4. Metamathematics, Machines and G del's Proof
by Natarajan Shankar, C J Van Rijsbergen (Editor), Samson Abramsky (Editor)
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Most Popular Edition roll over image for details
-
from £20.95
-
-
5. Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings
by Samson Abramsky (Editor), Cyril Gavoille (Editor), Claude Kirchner (Editor)
The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and ... More
Most Popular Editions roll over images for details
-
from £66.89
-
from £66.99
-
-
6. Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
by Harold Simmons, C J Van Rijsbergen (Editor), Samson Abramsky (Editor)
Introduction to simple type theory; 200 exercises with complete solutions.
Most Popular Edition roll over image for details
-
from £51.82
-
-
7. Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
by Samson Abramsky (Editor), T S E Maibaum (Editor), Dov M Gabbay
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer ... More
Most Popular Edition roll over image for details
-
from £83.79
-
-
8. Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
by Samson Abramsky (Editor), Professor Dov M Gabbay (Editor), T S E Maibaum (Editor)
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, ... More
Most Popular Edition roll over image for details
-
from £130.34
-
-
9. Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Samson Abramsky (Editor), Professor Dov M Gabbay (Editor), T S Maibaum (Editor)
The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of ... More
Most Popular Edition roll over image for details
-
from £98.50
-
-
10. The Uncertain Reasoner's Companion: A Mathematical Perspective
by J B Paris, C J Van Rijsbergen (Editor), Samson Abramsky (Editor)
This is an introduction to the mathematical foundations of uncertain reasoning.
Most Popular Edition roll over image for details
-
from £32.52
-
-
11. Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures
by Samson Abramsky (Editor), Professor Dov M Gabbay (Editor), T S Maibaum (Editor)
List of all editionsLogic is now widely recognized to be one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, ... More
|
|
Quick Help
About Us
You're signed up (and we ♥ you). Watch for our Welcome e-mail and your first voucher. Thanks!