 |
|
|
|
| 1. |
|
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Inbunden. Springer Nature Switzerland AG, Schweiz, 2021.
|
 |
| 2. |
|
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
E-bok. Springer International Publishing, Schweiz, 2021.
|
|
| 3. |
|
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Häftad. Springer Nature Switzerland AG, Schweiz, 2022.
|
|
| 4. |
|
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2021.
|
|
| 5. |
|
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
E-bok. Springer International Publishing, Schweiz, 2021.
|
|
| 6. |
|
Formal Methods and Software Engineering
Jin Song Dong, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
| 7. |
|
Formal Methods and Software Engineering
Jin Song Dong, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 8. |
|
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2006.
|
|
| 9. |
|
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
| 10. |
|
Verified Software: Theories, Tools, Experiments
Bertrand Meyer, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 11. |
|
Verified Software: Theories, Tools, Experiments
Bertrand Meyer, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 12. |
|
Domain Modeling and the Duration Calculus
Chris George, Zhiming Liu, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 13. |
|
Domain Modeling and the Duration Calculus
Chris George, Zhiming Liu, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 14. |
|
Formal Methods and Hybrid Real-Time Systems
Cliff B Jones, Zhiming Liu, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 15. |
|
Formal Methods and Hybrid Real-Time Systems
Cliff B Jones, Zhiming Liu, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 16. |
|
Verified Software: Theories, Tools, Experiments
Natarajan Shankar, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 17. |
|
Verified Software: Theories, Tools, Experiments
Natarajan Shankar, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 18. |
|
Formal Methods: Foundations and Applications
Marcel Vincius Medeiros Oliveira, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 19. |
|
Formal Methods: Foundations and Applications
Marcel Vinicius Medeiros Oliveira, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
| 20. |
|
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2010.
|
|
|
|
|
