کتاب های Jonathan Bowen (eds.)

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.), 2008
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.), 1995
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.), 1997
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.), 1998
Aberrant Project Utopia (Aberrant)
Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.), 1999
Towards Verified Systems
Jonathan Bowen (Eds.), 1994
Changing Anarchism: Anarchist Theory and Practice in a Global Age
Jonathan Purkis and James Bowen (editors contributors), 2005
High-Integrity System Specification and Design
Jonathan P. Bowen BA, 1999
Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, 1999
Industrial-strength formal methods in practice
Jonathan P. Bowen, 1999
Software Specification Methods: An Overview Using a Case Study
Jonathan P. Bowen (auth.), 2001
Formal Specification and Documentation Using Z: A Case Study Approach
Jonathan Bowen, 1996
Electronic Visualisation in Arts and Culture
Bowen, Jonathan Peter, 2013
Electronic Visualisation in Arts and Culture
Bowen, Jonathan Peter, 2013
The Turing Guide
Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, 2017
The Turing Guide
Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, 2017
Changing Anarchism: Anarchist Theory And Practice In A Global Age
Jonathan Purkis, James Bowen, 2004