Über den Autor
Bildnachweis: Jonathan P. Bowen
Werke von Jonathan P. Bowen
The Z formal specification notation. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998.… (1998) 7 Exemplare
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology) (1999) 4 Exemplare
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK,… (2000) 4 Exemplare
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997,… (1997) 3 Exemplare
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13,… (2018) 2 Exemplare
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 -… (1995) 2 Exemplare
Custom and commercialisation in English rural society : revisiting Tawney and Postan (2016) 2 Exemplare
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2,… (2017) 2 Exemplare
Z user workshop, London 1992. Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (1993) 2 Exemplare
EVA London 2007 1 Exemplar
Eva London 2011: Electronic Visualisation and the Arts (Electronic Workshops in Computing) (2011) 1 Exemplar
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12,… (2019) 1 Exemplar
Zugehörige Werke
Getagged
Wissenswertes
- Gebräuchlichste Namensform
- Bowen, Jonathan P.
- Rechtmäßiger Name
- Bowen, Jonathan Peter
- Geburtstag
- 1956
- Geschlecht
- male
- Nationalität
- UK
- Land (für Karte)
- England
- Geburtsort
- England, UK
- Wohnorte
- Oxford, England
- Ausbildung
- University of Oxford
- Berufe
- computer scientist
- Beziehungen
- Bowen, H.J.M. (father)
Bowen, E.J. (grandfather) - Organisationen
- London South Bank University
Southwest University - Preise und Auszeichnungen
- Fellow of the BCS
Fellow of the RSA - Kurzbiographie
- Jonathan Bowen, FBCS FRSA, is Chairman of Museophile Limited (founded in 2002), an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000, and since 2017 an Adjunct Professor at Southwest University, Chongqing, China.
Mitglieder
Statistikseite
- Werke
- 21
- Auch von
- 1
- Mitglieder
- 45
- Beliebtheit
- #340,917
- Bewertung
- 4.0
- ISBNs
- 41