Jonathan Bowen

from Wikipedia, the free encyclopedia
Jonathan Bowen.

Jonathan Bowen (* 1956 in Oxford ) is a British computer scientist .

Bowen studied at Bryanston School and Oxford University engineering . He founded the Virtual Library Museums Pages on the International Council of Museums website .

literature

  • Jonathan Bowen (Ed.): Towards Verified Systems . Real-Time Safety Critical Systems series, Volume 2. Elsevier, Amsterdam 1994, ISBN 0-444-89901-4 .
  • Michael Gerard Hinchey, Jonathan Bowen (Eds.): 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 (Eds.): High-Integrity System Specification and Design . Springer, London 1999, ISBN 3-540-76226-4 .
  • Michael Gerard Hinchey, Jonathan Bowen (Eds.): Industrial-Strength Formal Methods in Practice . Springer, London 1999, ISBN 1-85233-640-4 .

Web links

personal data
SURNAME Bowen, Jonathan
ALTERNATIVE NAMES Bowen, Jonathan P.
BRIEF DESCRIPTION British computer scientist; Inventor of the Virtual Library museums pages
DATE OF BIRTH 1956
PLACE OF BIRTH Oxford