Woodcock, Jim.

概要

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

書目資訊

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]

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) (書目-語言資料,印刷品)

The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement / by: Woodcock, Jim.; Foster, Simon.; Sampaio, Augusto.; SpringerLink (Online service) (書目-語言資料,印刷品)

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