東華大學圖書館 |

作品:	3 作品在 3 項出版品 1 種語言

The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement / by: Woodcock, Jim.; Sampaio, Augusto.; SpringerLink (Online service); Foster, Simon. (書目-電子資源)

Software engineering for robotics by: Cavalcanti, Ana.; Dongol, Brijesh.; Woodcock, Jim.; SpringerLink (Online service); Hierons, Rob.; Timmis, Jon. (書目-電子資源)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: Dong, Jin Song, (1967-); Woodcock, Jim.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2003 :) (書目-語言資料,印刷品)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: Meyer, Bertrand.; Woodcock, Jim.; SpringerLink (Online service); IFIP TC 2/WG 2.3 Conference (2005 :) (書目-語言資料,印刷品)

FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume I / by: Davies, Jim.; Wing, Jeannette Marie.; Woodcock, Jim.; SpringerLink (Online service); World Congress on Formal Methods in the Development of Computing Systems ((1999 :) (書目-語言資料,印刷品)

Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: Shankar, N.; Woodcock, Jim.; SpringerLink (Online service); VSTTE 2008 ((2008 :) (書目-語言資料,印刷品)

FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume II / by: Davies, Jim.; Wing, Jeannette Marie.; Woodcock, Jim.; SpringerLink (Online service); World Congress on Formal Methods in the Development of Computing Systems ((1999 :) (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: Qin, Shengchao.; Woodcock, Jim.; SpringerLink (Online service); SETTA (Symposium) (2021 :); Zhang, Wenhui. (書目-電子資源)