1.
Extensions of First-Order Logic
by Manzano, Maria, van Rijsber...
ISBN: 9780521019026
List Price: $79.00
2.
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship
by Olderog, E. R., van Rijsber...
ISBN: 9780521018456
List Price: $58.00
3.
4.
Algorithmic Information Theory
by Chaitin, Gregory J., van Ri...
ISBN: 9780521616041
List Price: $46.00
5.
Optimal Implementation of Functional Programming Languages
by Asperti, Andrea, Guerrini, ...
ISBN: 9780521621120
List Price: $122.00
6.
Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs ...
by Carpenter, Robert L., van R...
ISBN: 9780521022545
List Price: $58.00
7.
Uncertain Reasoner's Companion A Mathematical Perspective
by Paris, J. B., van Rijsberge...
ISBN: 9780521032728
List Price: $48.00
8.
9.
Derivation and Computation Taking the Curry-Howard Correspondence Seriously
by Simmons, H., Abramsky, S., ...
ISBN: 9780521771733
List Price: $168.00
10.
Deductive and Declarative Programming
by Padawitz, P., van Rijsberge...
ISBN: 9780521032513
List Price: $58.00
11.
Category Theory and Computer Science
by Curien, P-.L., Abramsky, S....
ISBN: 9783540544951
List Price: $67.95
12.
Theory and Practice of Software Development
by Abramsky, S., Maibaum, T.S.E.
ISBN: 9783540539827
List Price: $84.95
13.
Theory and Practice of Software Development
by Abramsky, S., Maibaum, T.S.E.
ISBN: 9783540539810
List Price: $84.95
14.
Hybrid Graph Theory and Network Analysis
by Novak, Ladislav, Gibbons, A...
ISBN: 9780521461177
List Price: $104.00
15.
Applications Of Process Algebra
by Baeten, J. C. M., van Rijsb...
ISBN: 9780521607506
List Price: $100.00
16.
Predicate Transformer Semantics
by Manes, Ernest G., van Rijsb...
ISBN: 9780521616102
List Price: $74.00
17.
Formal Semantics and Pragmatics for Natural Language Querying
by Clifford, James, van Rijsbe...
ISBN: 9780521602747
List Price: $61.00
18.
Handbook of Logic in Computer Science Semantic Structures
by Abramsky, S., Gabbay, Dov M...
ISBN: 9780198537625
List Price: $345.00
19.
Programs, Recursion and Unbounded Choice
by Hesselink, Wim H., van Rijs...
ISBN: 9780521018296
List Price: $53.00
20.
21.
Handbook of Logic in Computer Science: Semantic Structures, Vol. 1
by Abramsky, S., Gabbay, D. M....
ISBN: 9780198537359
List Price: $215.00
22.
Formal Specification And Design
by Feijs, L. M. G., Jonkers, H...
ISBN: 9780521435925
List Price: $74.00
23.
Concurrency Verification Introduction to Compositional and Noncompositional Methods
by De Roever, W. P., Abramsky,...
ISBN: 9780521806084
List Price: $252.00
24.
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 Amazon25.
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