Dieser Eintrag wurde zusammengefügt mit Jonathan P. Bowen.
Werke von J. P. Bowen
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology) (1999) 4 Exemplare
Z user workshop, London 1992. Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (1993) 2 Exemplare
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2,… (2017) 2 Exemplare