bib.howest.be Search Results

You searched for: Auteur Bowen, Jonathan P.

1 - 10 of 10

1. Museums and Digital Culture

Author:: Giannini; Bowen, Jonathan P.
Publisher:: Springer International Publishing 2019
Format:: e-book

2. Provably Correct Systems

Author:: Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger
Publisher:: Springer International Publishing 2017
Format:: e-book

3. Electronic Visualisation in Arts and Culture

Author:: Bowen, Jonathan P.; Keene, Suzanne; Ng, Kia
Publisher:: Springer London 2013
Format:: e-book

4. Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Author:: Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming
Publisher:: Singapore Springer 2025
Format:: e-book

5. Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Author:: Bowen, Jonathan P.; Li, Qin; Xu, Qiwen
Publisher:: Springer 2023
Format:: e-book

6. Engineering Trustworthy Software Systems

Author:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:: Springer International Publishing 2019
Format:: e-book

7. Engineering Trustworthy Software Systems

Author:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:: Springer International Publishing 2017
Format:: e-book

8. Formal Methods: State of the Art and New Directions

Author:: Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Publisher:: Springer London 2010
Format:: e-book

9. Formal Methods and Testing

Author:: Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

10. Abstract State Machines, B and Z

Author:: Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book