Jonathan Bowen
britischer Informatiker
From Wikipedia, the free encyclopedia
Jonathan Bowen (* 14. März 1956 in Oxford) ist ein britischer Informatiker.
Bowen studierte an der Bryanston School und der Oxford University Ingenieurwissenschaften. Er gründete die „Virtual Library Museums Pages“ auf der Website International Council of Museums.
Literatur
- Jonathan Bowen (Hrsg.): Towards Verified Systems. (= Real-Time Safety Critical Systems series. Band 2). Elsevier, Amsterdam 1994, ISBN 0-444-89901-4.
- Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): Applications of Formal Methods. Prentice Hall, London 1996, ISBN 0-13-366949-1.
- Jonathan Bowen: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, London 1996, ISBN 1-85032-230-9.
- Jonathan Bowen, Michael Gerard Hinchey (Hrsg.): High-Integrity System Specification and Design. Springer, London 1999, ISBN 3-540-76226-4.
- Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): Industrial-Strength Formal Methods in Practice. Springer, London 1999, ISBN 1-85233-640-4.
- R. Hierons, J. P. Bowen, M. Harman (Hrsg.): Formal Methods and Testing. (= Lecture notes in computer science. 4949). Springer-Verlag, 2008, ISBN 978-3-540-78916-1.
- E. Börger, M. Butler, J. P. Bowen, P. Boca (Hrsg.): Abstract State Machines, B and Z. (= Lecture notes in computer science. 5238). Springer-Verlag, 2008, ISBN 978-3-540-87602-1.
- P. P. Boca, J. P. Bowen, J. I. Siddiqi (Hrsg.): Formal Methods: State of the Art and New Directions. Springer, 2010, ISBN 978-1-84882-735-6. doi:10.1007/978-1-84882-736-3.
- J. P. Bowen, S. Keene, K. Ng (Hrsg.): Electronic Visualisation in Arts and Culture. (= Springer Series on Cultural Computing). Springer, 2013, ISBN 978-1-4471-5406-8.
- J. Copeland, J. P. Bowen, M. Sprevak, R. Wilson et al.: The Turing Guide. Oxford University Press, 2017, ISBN 978-0-19-874783-3.[1]
- M. G. Hinchey, J. P. Bowen, E.-R. Olderog (Hrsg.): Provably Correct Systems. (= NASA Monographs in Systems and Software Engineering series). Springer International Publishing, 2017, ISBN 978-3-319-48627-7, doi:10.1007/978-3-319-48628-4.
- T. Giannini, J. P. Bowen (Hrsg.): Museums and Digital Culture: New Perspectives and Research. (= Springer Series on Cultural Computing). Springer, 2019, ISBN 978-3-319-97456-9. doi:10.1007/978-3-319-97457-6.[2]
- T. Giannini, J. P. Bowen (Hrsg.): The Arts and Computational Culture: Real and Virtual Worlds. (= Springer Series on Cultural Computing). Springer, 2024, ISBN 978-3-031-53864-3. doi:10.1007/978-3-031-53865-0[3]
