J. P. Bowen

17 published titles

Z User Workshop, London 1992 : proceedings of the seventh annual Z User Meeting, London, 14-15 December 1992

(Contributor)

1 edition

Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994

(Contributor)

1 edition

Z User Workshop, Cambridge 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994

(Contributor)

1 edition

Towards verified systems

(Contributor)

1 edition

Applications of formal methods

(Contributor)

2 editions

ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

(Contributor)

1 edition

High-integrity system specification and design

1 edition

Industrial-strength formal methods in practice

(Contributor)

1 edition

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

(Contributor)

1 edition

EVA London 2009 : electronic visualisation and the arts : proceedings of EVA London 2009, BCS London, 5 Southampton Street, London WC2E 7HA, 6-8 July 2009

(Contributor)

1 edition

Formal methods : state of the art and new directions

(Contributor)

1 edition

EVA London 2010 : Electronic Visualisation and the Arts : proceedings of EVA London 2010, BCS London, 5 Southampton Street, London, 5-7 July 2010

(Contributor)

1 edition

EVA London 2011 : Electronic Visualisation and the Arts : proceedings of EVA London 2011, BCS London, 5 Southampton Street, London, 6-8 July 2010

(Contributor)

1 edition

EVA London 2012 : Electronic Visualisation and the Arts : a conference of the Computer Arts Society, a specialist group of BCS, The Chartered Institute for IT : proceedings : BCS London, 5 Southampton

(Contributor)

1 edition

EVA London, 2013 : electronic visualisation and the arts : a conference of the Computer Arts Society, a specialist group of BCS, The Chartered Institute for IT : proceedings : London, 29 - 31 July 201

(Contributor)

1 edition

Electronic visualisation in arts and culture

(Contributor)

1 edition

Eva London Electronic Visualisation and the Arts : proceedings of EVA London 2015, BCS London, 7-9 July 2015

(Contributor)

1 edition