著者典拠情報

著者標目形：
Woodcock, James
属性：
Personal
から見よ参照形：
Woodcock, J. C. P.
Woodcock, Jim
注記：
Loomes, M. Software engineering mathematics, 1988
著者典拠ID：
DA0317615X


1.

図書
図書
1. FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings (v. 1 ; v. 2)
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1708,1709
所蔵情報: 図書館
2.

図書
図書
2. FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Marie-Claude Gaudel, James Woodcock, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1051
所蔵情報: 図書館
3.

図書
図書
3. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: 図書館