Vai al contenuto

Jonathan Bowen

Da Wikipedia, l'enciclopedia libera.
Jonathan Bowen.

Jonathan P. Bowen, FBCS FRSA (1956), è un informatico britannico.

È presidente di Museophile Limited, professore emerito alla London South Bank University, dove ha diretto il Centre for Applied Formal Methods, Visiting Professor presso il King's College London e di un ex in visita accademica presso l'University College London.

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

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  • Jonathan Bowen, su jpbowen.com. URL consultato il 17 gennaio 2010 (archiviato dall'url originale il 17 maggio 2014).
  • London South Bank University, su myweb.lsbu.ac.uk. URL consultato il 17 gennaio 2010 (archiviato dall'url originale il 22 giugno 2017).
Controllo di autoritàVIAF (EN15646992 · ISNI (EN0000 0001 0956 5671 · ORCID (EN0000-0002-8748-6140 · LCCN (ENn93027547 · GND (DE122239318 · BNF (FRcb171965887 (data) · J9U (ENHE987007431985705171