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