Menu

A. W. Roscoe

6 published titles

Topology and category theory in computer science

(Contributor)

1 edition

  • ISBN: 0198537603
  • Clarendon Press
  • 1991
  • Details

A Classical mind : essays in honour of C. A. R. Hoare

(Contributor)

1 edition

  • ISBN: 0132948443
  • Prentice Hall
  • 1994
  • Details

The theory and practice of concurrency

1 edition

  • ISBN: 0136744095
  • Prentice Hall
  • 1998
  • Details

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare

(Contributor)

1 edition

  • ISBN: 0333922301
  • Palgrave
  • 2000
  • Details

Understanding concurrent systems

1 edition

  • ISBN: 9781848822580
  • Springer
  • 2010
  • Details

Reflections on the work of C.A.R. Hoare

(Contributor)

1 edition

  • ISBN: 9781848829114
  • Springer
  • 2010
  • Details

obnb.uk is a Good Stuff website.