Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 23.12.2021 Taschenbuch Fr. 103.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2008 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2022 Taschenbuch Fr. 157.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 25.07.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 25.07.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 20.08.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 19.02.2021 Fester Einband Fr. 158.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 12.11.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jim Davies, Jim Woodcock - Using Z
Jim Davies, Jim Woodcock Using Z Englisch 01.01.1996 Taschenbuch Fr. 112.20 3-5 Wochen
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 Englisch 25.09.2007 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 14.04.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 29.01.2013 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch Fester Einband Fr. 186.40 In Neuauflage, zurzeit nicht erhältlich