Woodcock, Jim.

概要

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

書目資訊

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Oliveira, Marcel Vinicius Medeiros.; SpringerLink (Online service) (書目-語言資料,印刷品)

Software Engineering for Robotics by: Timmis, Jon.; Cavalcanti, Ana.; SpringerLink (Online service); Dongol, Brijesh.; Hierons, Rob.; Woodcock, Jim. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: SpringerLink (Online service); Qin, Shengchao.; Woodcock, Jim.; Zhang, Wenhui. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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: Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Meyer, Bertrand. (書目-語言資料,印刷品)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: Liu, Zhiming.; Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: Woodcock, Jim.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (書目-語言資料,印刷品)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: Zhu, Huibiao.; SpringerLink (Online service); Woodcock, Jim.; Liu, Zhiming. (書目-語言資料,印刷品)

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

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: Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Meyer, Bertrand.; SpringerLink (Online service) (書目-語言資料,印刷品)

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

主題

Artificial intelligence. Software engineering. Theory of Computation. Computer programs Computer programming Logics and Meanings of Programs. Computer science Computer networks . Operating Systems. Robotics and Automation. Computer Science. Management of Computing and Information Systems. Formal methods (Computer science) Computer organization. Computer engineering. Programming Techniques. Computer programming. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Artificial Intelligence. Robotics. Software engineering Programming Languages, Compilers, Interpreters. Models and Principles. Software Engineering. Software Engineering/Programming and Operating Systems. Computer software. Automation. Computer Engineering and Networks. Simulation and Modeling.