Jim Woodcock – författare
Visar alla böcker från författaren Jim Woodcock.
14 produkter
Software Engineering for Robotics
Av Ana Cavalcanti, Brijesh Dongol m. fl.
Inbunden, 2021
1709 kr
Lägg i varukorg
Software Engineering for Robotics
Av Ana Cavalcanti, Brijesh Dongol m. fl.
Häftad, 2022
1709 kr
Lägg i varukorg
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Av Shengchao Qin, Jim Woodcock m. fl.
Häftad, 2021
1099 kr
Lägg i varukorg
Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Av Jin Song Dong, Jim Woodcock
Häftad, 2003
1469 kr
Lägg i varukorg
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Av Ana Cavalcanti, Augusto Sampaio m. fl.
Häftad, 2006
739 kr
Lägg i varukorg
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
Av Bertrand Meyer, Jim Woodcock
Häftad, 2008
1469 kr
Lägg i varukorg
Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Av Chris George, Zhiming Liu m. fl.
Häftad, 2007
739 kr
Lägg i varukorg
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Av Cliff B. Jones, Zhiming Liu m. fl.
Häftad, 2007
739 kr
Lägg i varukorg
Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Av Natarajan Shankar, Jim Woodcock
Häftad, 2008
739 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Av Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Häftad, 2009
739 kr
Lägg i varukorg
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Av Ana Cavalcanti, David Deharbe m. fl.
Häftad, 2010
739 kr
Lägg i varukorg
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
739 kr
Lägg i varukorg
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
739 kr
Lägg i varukorg
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
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
739 kr
Lägg i varukorg