URI(s)
Variants
- Woodcock, James
- Woodcock, J. C. P. (James Charles Paul)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Software engineering mathematics, 1989:CIP t.p. (Jim Woodcock; Oxford Univ.) galley (James Woodcock)
- found: Refinement Workshop (3rd : 1990 : IBM UK Laboratories). 3rd Refinement Workshop, 1991:CIP t.p. (J.C.P. Woodcock) data sheet (b. 6-7-56)
- found: Mathematics of program construction, c1993:CIP t.p. (J.C.P. Woodcock) data sheet (James Charles Paul Woodcock)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1989-03-27: new
- 1996-01-05: revised
Alternate Formats