Languages
Subject
Format
Availabity
Authors

Search result

Shengchao Qin, Ji Woodcock, Jim Woodcock, Wenhui Zhang - Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Ji Woodcock, Jim Woodcock, Wenhui Zhang Dependable Software Engineering. Theories, Tools, and Applications English 23.12.2021 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)
Nataraja Shankar, Natarajan Shankar, Woodcock, Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Nataraja Shankar, Natarajan Shankar, Woodcock, Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments English 01.01.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis, Jim Woodcock - Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis, Jim Woodcock Software Engineering for Robotics English 01.01.2022 Paperback / Softback Fr. 157.00 1-2 weeks (title will be printed to order)
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu - Theories of Programming and Formal Methods
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu Theories of Programming and Formal Methods English 25.07.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu - Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu Unifying Theories of Programming and Formal Engineering Methods English 25.07.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu - Theoretical Aspects of Computing - ICTAC 2013
Zhiming Liu, Ji Woodcock, Jim Woodcock, Huibiao Zhu Theoretical Aspects of Computing - ICTAC 2013 English 20.08.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ana Cavalcanti, Brijes Dongol, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis... - Software Engineering for Robotics
Ana Cavalcanti, Brijes Dongol, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis... Software Engineering for Robotics English 19.02.2021 Hardback Fr. 157.00 2-3 weeks (title will be printed to order)
Diego R. Almeida, Leandro Buss Becker, Venanzio Capretta, Marcel Vinícius Medeiros Oliveira, Marce Vinícius Medeiros Oliveira, Marcel Vinícius Medeiros Oliveira... - Formal Methods: Foundations and Applications
Diego R. Almeida, Leandro Buss Becker, Venanzio Capretta, Marcel Vinícius Medeiros Oliveira, Marce Vinícius Medeiros Oliveira, Marcel Vinícius Medeiros Oliveira... Formal Methods: Foundations and Applications English 12.11.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jim Davies, Jim Woodcock - Using Z
Jim Davies, Jim Woodcock Using Z English 01.01.1996 Paperback / Softback Fr. 112.20 3-5 weeks
Cliff B. Jones, Zhimin Liu, Zhiming Liu, Jim Woodcock - Formal Methods and Hybrid Real-Time Systems
Cliff B. Jones, Zhimin Liu, Zhiming Liu, Jim Woodcock Formal Methods and Hybrid Real-Time Systems English 25.09.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Cliff B. Jones, Zhiming Liu, Jim Woodcock, Jones Woodcock - Theoretical Aspects of Computing - ICTAC 2007
Cliff B. Jones, Zhiming Liu, Jim Woodcock, Jones Woodcock Theoretical Aspects of Computing - ICTAC 2007 English 14.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Jim Davies, Jim Roscoe Davies, Bill Roscoe, Jim Woodcock, Jim Davies, Bill Roscoe... - Millennial Perspectives in Computer Science
Jim Davies, Jim Roscoe Davies, Bill Roscoe, Jim Woodcock, Jim Davies, Bill Roscoe... Millennial Perspectives in Computer Science English Hardback Fr. 186.40 New edition in preparation, currently unavailable