Jonathan Bowen

Jonathan Bowen.

Jonathan P. Bowen , FBCS FRSA ( 1956 ), este un informatician britanic .

Este președinte al Museophile Limited , profesor emerit la Universitatea London South Bank , unde a condus Centrul pentru Metode Formale Aplicate , profesor invitat la King's College din Londra și fost profesor academic la University College London .

Cărți

• Jonathan Bowen (ed.): Către sisteme verificate . Seria sistemelor critice de siguranță în timp real, vol. 2. Elsevier , Amsterdam , 1994, ISBN 0-444-89901-4 .
• Michael G. Hinchey, Jonathan Bowen (ed.): Aplicații ale metodelor formale . Prentice Hall, Londra 1996, ISBN 0-13-366949-1 .
• Jonathan Bowen: Specificații formale și documentare folosind Z: O abordare de studiu de caz . International Thomson Computer Press, Londra , 1996, ISBN 1-85032-230-9 .
• Jonathan Bowen, Michael G. Hinchey (ed.): Specificație și proiectare a sistemului de înaltă integritate . Springer , Londra, 1999, ISBN 3-540-76226-4 .
• Michael Gerard Hinchey, Jonathan Bowen (ed.): Metode formale de rezistență industrială în practică . Springer, Londra, 1999, ISBN 1-85233-640-4 .

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Jonathan Bowen

linkuri externe

• Jonathan Bowen , la jpbowen.com . Adus la 17 ianuarie 2010 (arhivat din original la 17 mai 2014) .
• Universitatea London South Bank , la myweb.lsbu.ac.uk . Adus la 17 ianuarie 2010 (arhivat din original la 22 iunie 2017) .

Portal Biografii

Portal IT