Menu

Jim Woodcock

10 published titles

Software engineering mathematics : formal methods demystified

1 edition

  • ISBN: 0273026739
  • Pitman
  • 1988
  • Details

3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor

(Contributor)

1 edition

  • ISBN: 0387196242
  • Springer-Verlag in collaboration with the British Computer Society
  • 1991
  • Details

Using Z : specification, refinement, and proof

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 and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

(Contributor)

1 edition

  • ISBN: 354020461X
  • Springer
  • 2003
  • Details

Refinement techniques in software engineering : first Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 ; revised lectures

(Contributor)

1 edition

  • ISBN: 9783540462538
  • Springer
  • 2006
  • Details

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

(Contributor)

1 edition

  • ISBN: 9783642397172
  • Springer
  • 2013
  • Details

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures

(Contributor)

1 edition

  • ISBN: 9783642397202
  • Springer
  • 2013
  • Details

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

(Contributor)

1 edition

  • ISBN: 9783642396984
  • Springer
  • 2013
  • 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.