Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

Woodcock, Jim.

Overview
Works: 3 works in 3 publications in 1 languages
Titles
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement / by: Woodcock, Jim.; SpringerLink (Online service); Sampaio, Augusto.; Foster, Simon. (Electronic resources)
Software engineering for robotics by: Woodcock, Jim.; SpringerLink (Online service); Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; Timmis, Jon. (Electronic resources)
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 :) (Language materials, printed)
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 :) (Language materials, printed)
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: Woodcock, Jim.; SpringerLink (Online service); World Congress on Formal Methods in the Development of Computing Systems ((1999 :); Davies, Jim.; Wing, Jeannette Marie. (Language materials, printed)
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 :) (Language materials, printed)
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 :) (Language materials, printed)
Dependable software engineering = theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: Woodcock, Jim.; SpringerLink (Online service); SETTA (Symposium) (2021 :); Qin, Shengchao.; Zhang, Wenhui. (Electronic resources)
 
 
Change password
Login