Jim Woodcock | Akateeminen Kirjakauppa

Jim Woodcock; Jim Davies
1996
Pehmeäkantinen kirja

102,10 €

Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lect

George, Chris; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th

Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Methods and Software Engineering - 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, Nov

Dong, Jin Song; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

100,90 €

Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10

Meyer, Bertrand; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

100,90 €

Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 200

Shankar, Natarajan; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazi

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-

Oliveira, Marcel Vinícius Medeiros; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Procee

Cavalcanti, Ana; Deharbe, David; Gaudel, Marie-Claude; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Millennial Perspectives in Computer Science - Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare

Davies, Jim; Roscoe, Bill; Woodcock, Jim
Bloomsbury Publishing PLC
2000
Kovakantinen kirja

100,10 €

Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, No

Qin, Shengchao; Woodcock, Jim; Zhang, Wenhui
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

76,00 €

Software Engineering for Robotics

Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Springer
2021
Kovakantinen kirja

120,90 €

Software Engineering for Robotics

Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Springer
2022
Pehmeäkantinen kirja

120,90 €

Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer
2013
Pehmeäkantinen kirja

119,40 €