| | Books 1 - 9 of 9 | Previous | Next | 
|  | | Abstract Interpretation of Declarative Languages (Ellis Horwood Books in Computing Science, Series in Computer)
by Samson Abramsky (Other Contributor), Chris Hankin (Other Contributor)
Paperback, 284 Pages, Published 1987 by Ellis Horwood, Ltd.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 6 - 20, 985. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by David Pitt (Editor), Samson Abramsky (Editor), Axel Poigne (Editor), David Rydeheard (Editor)
Paperback, 519 Pages, Published 1986 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Category Theory and Computer Science: Paris, France, September 3-6, 99. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by David H. Pitt (Editor), Pierre-Louis Curien (Editor), Samson Abramsky (Editor), Andrew M. Pitts (Editor), Axel Poigne (Editor), David E. Rydeheard (Editor)
Paperback, 301 Pages, Published 1991 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : Advanc (Lecture Notes in Computer Science)
by Samson Abramsky, Thomas S. E. Maibaum (Editor)
Paperback, 482 Pages, Published 1991 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Typed Lambda Calculi and Applications: 5th International Conference, TLCA 200 Krakow, Poland, May 2-5, 200 Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Samson Abramsky (Editor)
Paperback, 431 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | TAPSOFT 91: Proceedings of the International Joint Conference on Theoryand Practice of Software Development, Brighton, UK, April 8-12, 1991
by Samson; Maibaum, Thomas S. E. Abramsky
Hardcover, Published 1991 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Typed Lambda Calculi and Applications : 5th International Conference, TLCA2001, Krakow, Poland, May 2-5, 2001: Proceedings (Lecture Notes inComputer Science, Vol. 2044)
by Samson; Goos, G. (editor); Hartmanis, J. (edito... Abramsky
Hardcover, Published 2001 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Handbook of Logic in Computer Science
by Samson Abramsky
Paperback, Published 1993 by Oxford University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Domain theory in logical form (Research report. Imperial College of Science and Technology. Dept. of Computing)
by Samson Abramsky
Unknown Binding, 82 Pages, Published 1988 by University of London, Imperial College of Science and Technology, Dept. of Computing
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 9 of 9 | Previous | Next |
|