A propos de l'auteur
Crédit image: Jonathan P. Bowen
Œuvres de Jonathan P. Bowen
The Z formal specification notation. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998.… (1998) 7 exemplaires
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology) (1999) 4 exemplaires
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK,… (2000) 4 exemplaires
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997,… (1997) 3 exemplaires
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13,… (2018) 2 exemplaires
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 -… (1995) 2 exemplaires
Custom and commercialisation in English rural society : revisiting Tawney and Postan (2016) 2 exemplaires
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2,… (2017) 2 exemplaires
Z user workshop, London 1992. Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (1993) 2 exemplaires
EVA London 2007 1 exemplaire
Eva London 2011: Electronic Visualisation and the Arts (Electronic Workshops in Computing) (2011) 1 exemplaire
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12,… (2019) 1 exemplaire
Oeuvres associées
Étiqueté
Partage des connaissances
- Nom canonique
- Bowen, Jonathan P.
- Nom légal
- Bowen, Jonathan Peter
- Date de naissance
- 1956
- Sexe
- male
- Nationalité
- UK
- Pays (pour la carte)
- England
- Lieu de naissance
- England, UK
- Lieux de résidence
- Oxford, England
- Études
- University of Oxford
- Professions
- computer scientist
- Relations
- Bowen, H.J.M. (father)
Bowen, E.J. (grandfather) - Organisations
- London South Bank University
Southwest University - Prix et distinctions
- Fellow of the BCS
Fellow of the RSA - Courte biographie
- 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.
Membres
Statistiques
- Œuvres
- 21
- Aussi par
- 1
- Membres
- 45
- Popularité
- #340,917
- Évaluation
- 4.0
- ISBN
- 41
