1.
 |  | Title: Software Engineering Mathematics (Sei Series in Software Engineering)
by Jim Woodcock, Martin Loomes
ISBN: 0201504243
Publisher: Addison-Wesley Pub Co
Pub. Date: June, 1989
List Price: $34.95
Amazon.com Price: $34.95 |
2.
|  | Title: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, Isfem 2003, Singapore, November 5-7, 2003: Proceedings (Lecture Notes in Computer Science, 2885)
by Jim Woodcock, Jin Song Dong
ISBN: 354020461X
Publisher: Springer Verlag
Pub. Date: January, 2004
List Price: $98.00
Amazon.com Price: $98.00 |
3.
|  | Title: Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings (Lecture Notes in Computer Science, 1708)
by World Congress on Formal Methods in the Development of Computing Syste, J. Woodcook, J. Davies, G. Goos, J. Hartmanis, J.Van Leeuwen, M. Wing, Jeannette Marie Wing, Jim Woodcock
ISBN: 3540665870
Publisher: Springer Verlag
Pub. Date: 15 December, 1999
List Price: $112.00
Amazon.com Price: $112.00 |
4.
|  | Title: Gabriel Dumont
by George Woodcock, Jim Miller
ISBN: 1551115751
Publisher: Broadview Press
Pub. Date: 06 May, 2003
List Price: $18.95
Amazon.com Price: $18.95 |
5.
|  | Title: Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of Computing)
by Jim Davies, Bill Roscoe, Jim Woodcock
ISBN: 0333922301
Publisher: Palgrave Macmillan
Pub. Date: 30 November, 2000
|
6.
|  | Title: Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, 1996: Proceedings (Lecture Notes in Computer Science, 1051)
by England International Symposium of Formal Methods Europe 1996 Oxford, M.-C Gaudel, Jim Woodcock
ISBN: 0387609733
Publisher: Springer Verlag
Pub. Date: April, 1996
List Price: $106.00
Amazon.com Price: $106.00 |
7.
|  | Title: Green Guide: Birds of Britain and Europe (Green Guide)
by Jim Flegg, Martin Woodcock
ISBN: 185368161X
Publisher: New Holland Publishers (UK) Ltd
Pub. Date: 01 February, 1998
|
8.
|  | Title: Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Jim Davies, J. C. P. Woodcock
ISBN: 0139484728
Publisher: Prentice Hall PTR
Pub. Date: July, 1996
List Price: $34.00
Amazon.com Price: $34.00 |
