Menu

John Cooke

3 published titles

BCS-FACS 7th refinement workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996

(Contributor)

1 edition

  • ISBN: 3540761047
  • Springer
  • 1997
  • Details

Constructing correct software : the basics

1 edition

  • ISBN: 354076156X
  • Springer
  • 1998
  • Details

Constructing correct software

1 edition

  • ISBN: 1852338202
  • Springer
  • 2005
  • Details

obnb.uk is a Good Stuff website.