Books : Search

1.

Green Guide Birds of Britain and Europe (Michelin Green Guides)
Author name: Jim Flegg
August 27, 2001

2.

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
from: Springer
November 09, 2007

3.

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Author name: Jim Woodcock, Jim Davies
1996-07

4.

Software Engineering Mathematics (Sei Series in Software Engineering)
Author name: Jim Woodcock, Martin Loomes
1989-06

5.

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected ... (Lecture Notes in Computer Science)
from: Springer
August 01, 2008

6.

St. Louis Blues hockey club, 1967-2002: Note by note
Author name: Jim Woodcock
2002

7.

The Concise Guide to Birds
Author name: Jim Flegg
June 20, 1990

8.

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science)
from: Springer
January 12, 2004

9.

Millennial Perspectives in Computer Science (Cornerstones of Computing)
from: Palgrave Macmillan
November 30, 2000

10.

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, ... (Lecture Notes in Computer Science)
Author name: england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock
1996-04