S. Abramsky

No bio available. Add one in Open Library.

Books by S. Abramsky (50 max)

+ shelf+ list

Handbook of logic in computer science

1992

S. Abramsky

+ shelf+ list

Patterns in the structure of mammalian communities

1988

Douglas W. Morris, D. W. Morris, S. Abramsky, B. J. Fox

+ shelf+ list

Algebraic specification of communication protocols

1993

C. J. van Rijsbergen, S. Abramsky, P. H. Aczel

+ shelf+ list

Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science)

2003

K. McEvoy, J. V. Tucker, C. J. van Rijsbergen, S. Abramsky

+ shelf+ list

Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume (Lecture Notes in Computer Science)

1991

S. Abramsky

+ shelf+ list

Handbook of Logic in Computer Science Volume 5 Logic and Algebraic Methods

2000

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum