Menu

Jim Davies

4 published titles

Using Z : specification, refinement, and proof

(Contributor)

1 edition

  • ISBN: 0139484728
  • Prentice Hall
  • 1996
  • 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

Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11 2010 : revised selected papers

(Contributor)

1 edition

  • ISBN: 9783642198281
  • Springer
  • 2011
  • Details

FM'99 _ formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

(Contributor)

1 edition

  • ISBN: 3540665870
  • Springer.
  • Details

obnb.uk is a Good Stuff website.