Home Advanced Search

Advanced Search - Page 1

Using Z: Specification, Refinement, and Proof

PDF
English
Year: 1996
Author: Jim Woodcock, Jim Davies

Using Z.Specification,refinement,and proof

PDF
English
Year: 1996
Author: Jim Woodcock, Jim Davies

Software engineering mathematics

PDF
English
Year: 1989
Author: Woodcock, Jim; Loomes, Martin

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

PDF
English
Year: 2013
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

PDF
English
Year: 1999
Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

PDF
English
Year: 1999
Author: C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Software Engineering for Robotics

PDF
English
Year: 2021
Author: Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

PDF
English
Year: 2003
Author: Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

PDF
English
Year: 2007
Author: Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

PDF
English
Year: 2007
Author: Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)