 |
|
|
|
| 21. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2019.
|
 |
| 22. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2019.
|
|
| 23. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2020.
|
|
| 24. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2020.
|
|
| 25. |
|
Theories of Programming and Formal Methods
Jonathan P Bowen, Qin Li, Qiwen Xu
Häftad. Springer International Publishing AG, Schweiz, 2023.
|
|
| 26. |
|
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Jonathan P Bowen, Qin Li, Qiwen Xu
Springer, Schweiz, 2023.
|
|
| 27. |
|
The Arts and Computational Culture: Real and Virtual Worlds
Tula Giannini, Jonathan P Bowen
Inbunden. Springer International Publishing AG, Schweiz, 2024.
|
|
| 28. |
|
Provably Correct Systems
Mike Hinchey, Jonathan P Bowen, Ernst-Rdiger Olderog
Inbunden. Springer International Publishing AG, Schweiz, 2017.
|
|
| 29. |
|
Provably Correct Systems
Mike Hinchey, Jonathan P Bowen, Ernst-Rudiger Olderog
E-bok. Springer International Publishing, Schweiz, 2017.
|
|
| 30. |
|
Unifying Theories of Programming
Jonathan P Bowen, Huibiao Zhu
Häftad. Springer International Publishing AG, Schweiz, 2017.
|
|
| 31. |
|
Unifying Theories of Programming
Jonathan P Bowen, Huibiao Zhu
E-bok. Springer International Publishing, Schweiz, 2017.
|
|
| 32. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer International Publishing AG, Schweiz, 2017.
|
|
| 33. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2017.
|
|
| 34. |
|
Provably Correct Systems
Mike Hinchey, Jonathan P Bowen, Ernst-Rdiger Olderog
Häftad. Springer International Publishing AG, Schweiz, 2018.
|
|
| 35. |
|
Museums and Digital Culture
Tula Giannini, Jonathan P Bowen
Inbunden. Springer International Publishing AG, Schweiz, 2019.
|
|
| 36. |
|
Museums and Digital Culture
Tula Giannini, Jonathan P Bowen
E-bok. Springer International Publishing, Schweiz, 2019.
|
|
| 37. |
|
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Steve King, Marina Waldn
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
| 38. |
|
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Martin C Henson, Ken Robinson
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
|
| 39. |
|
ZB 2000: Formal Specification and Development in Z and B
Jonathan P Bowen, Steve Dunne, Andy Galloway, Steve King
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 40. |
|
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Steve King, Marina Walden
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
|
|
|
