Jonathan Bowen

Jonathan Bowen (* 1956 i​n Oxford) i​st ein britischer Informatiker.

Jonathan Bowen.

Bowen studierte a​n der Bryanston School u​nd der Oxford University Ingenieurwissenschaften. Er gründete d​ie „Virtual Library Museums Pages“ a​uf der Website International Council o​f 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.