CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 25 of 37 Results
1.
Extensions of First-Order Logic
Extensions of First-Order Logic by Manzano, Maria, van Rijsber... ISBN: 9780521019026 List Price: $79.00
$73.72 (Save 6%)
2.
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship by Olderog, E. R., van Rijsber... ISBN: 9780521018456 List Price: $58.00
$49.09 (Save 15%)
3.
Topology Via Logic
Topology Via Logic by Vickers, Steven, van Rijsbe... ISBN: 9780521576512 List Price: $48.00
$58.14
4.
Algorithmic Information Theory
Algorithmic Information Theory by Chaitin, Gregory J., van Ri... ISBN: 9780521616041 List Price: $46.00
$41.41 (Save 9%) $24.60 (Save 46%)
5.
Optimal Implementation of Functional Programming Languages
Optimal Implementation of Functional Programming Languages by Asperti, Andrea, Guerrini, ... ISBN: 9780521621120 List Price: $122.00
$98.48 (Save 19%)
6.
Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs ...
Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs ... by Carpenter, Robert L., van R... ISBN: 9780521022545 List Price: $58.00
$49.09 (Save 15%)
7.
Uncertain Reasoner's Companion A Mathematical Perspective
Uncertain Reasoner's Companion A Mathematical Perspective by Paris, J. B., van Rijsberge... ISBN: 9780521032728 List Price: $48.00
$51.78
8.
Updating Logical Databases
Updating Logical Databases by Winslett, Marianne, van Rij... ISBN: 9780521619721 List Price: $48.00
$36.51 (Save 23%)
9.
Derivation and Computation Taking the Curry-Howard Correspondence Seriously
Derivation and Computation Taking the Curry-Howard Correspondence Seriously by Simmons, H., Abramsky, S., ... ISBN: 9780521771733 List Price: $168.00
$134.38 (Save 20%)
10.
Deductive and Declarative Programming
Deductive and Declarative Programming by Padawitz, P., van Rijsberge... ISBN: 9780521032513 List Price: $58.00
$49.09 (Save 15%)
11.
Category Theory and Computer Science
Category Theory and Computer Science by Curien, P-.L., Abramsky, S.... ISBN: 9783540544951 List Price: $67.95
$52.33 (Save 22%)
12.
Theory and Practice of Software Development
Theory and Practice of Software Development by Abramsky, S., Maibaum, T.S.E. ISBN: 9783540539827 List Price: $84.95
$52.33 (Save 38%)
13.
Theory and Practice of Software Development
Theory and Practice of Software Development by Abramsky, S., Maibaum, T.S.E. ISBN: 9783540539810 List Price: $84.95
$52.33 (Save 38%)
14.
Hybrid Graph Theory and Network Analysis
Hybrid Graph Theory and Network Analysis by Novak, Ladislav, Gibbons, A... ISBN: 9780521461177 List Price: $104.00
$101.17 (Save 2%)
15.
Applications Of Process Algebra
Applications Of Process Algebra by Baeten, J. C. M., van Rijsb... ISBN: 9780521607506 List Price: $100.00
$92.48 (Save 7%)
16.
Predicate Transformer Semantics
Predicate Transformer Semantics by Manes, Ernest G., van Rijsb... ISBN: 9780521616102 List Price: $74.00
$58.96 (Save 20%)
17.
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying by Clifford, James, van Rijsbe... ISBN: 9780521602747 List Price: $61.00
$49.09 (Save 19%)
18.
Handbook of Logic in Computer Science Semantic Structures
Handbook of Logic in Computer Science Semantic Structures by Abramsky, S., Gabbay, Dov M... ISBN: 9780198537625 List Price: $345.00
$506.80
19.
Programs, Recursion and Unbounded Choice
Programs, Recursion and Unbounded Choice by Hesselink, Wim H., van Rijs... ISBN: 9780521018296 List Price: $53.00
$49.09 (Save 7%)
20.
Action Semantics
Action Semantics by Mosses, Peter D., van Rijsb... ISBN: 9780521619332 List Price: $79.00
$58.96 (Save 25%)
21.
Handbook of Logic in Computer Science: Semantic Structures, Vol. 1
Handbook of Logic in Computer Science: Semantic Structures, Vol. 1 by Abramsky, S., Gabbay, D. M.... ISBN: 9780198537359 List Price: $215.00
$539.75
22.
Formal Specification And Design
Formal Specification And Design by Feijs, L. M. G., Jonkers, H... ISBN: 9780521435925 List Price: $74.00
$54.47 (Save 26%)
23.
Concurrency Verification Introduction to Compositional and Noncompositional Methods
Concurrency Verification Introduction to Compositional and Noncompositional Methods by De Roever, W. P., Abramsky,... ISBN: 9780521806084 List Price: $252.00
$102.97 (Save 59%)
24.
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Sof...
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Sof... by Abramsky, S., Maibaum, T. S... ISBN: 9783662164686 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
25.
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Sof...
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Sof... by Abramsky, S., Maibaum, T. S... ISBN: 9783662200445 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
Showing 1 - 25 of 37 Results - Browse more Abramsky S. in all departments
1 2 | ▶