Jonathan P. Bowen

No bio available. Add one in Open Library.

Books by Jonathan P. Bowen (50 max)

+ shelf+ list

Electronic Visualisation in Arts and Culture

2013

Jonathan P. Bowen, Suzanne Keene, Kia Ng

+ shelf+ list

Provably Correct Systems

2017

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

+ shelf+ list

Zum '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 : Proceedings (Lecture Notes in Computer Science)

1995

Jonathan P. Bowen

+ shelf+ list

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)

1997

Jonathan P. Bowen

+ shelf+ list

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Jonathan P. Bowen, Michael G. Hinchey

+ shelf+ list

High-Integrity System Specification and Design

1999

Jonathan P. Bowen

+ shelf+ list

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

2003

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King

+ shelf+ list

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Jonathan P. Bowen, Steve King

+ shelf+ list

ZB 2003 : Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

2003

Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

+ shelf+ list

ZB 2002 : Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

2003

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

+ shelf+ list

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2008

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca

+ shelf+ list

ZUM '98 : the Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

2011

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

+ shelf+ list

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2017

Jonathan P. Bowen, Huibiao Zhu

+ shelf+ list

EVA London 2018: Electronic Visualisation and the Arts

2018

Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel

+ shelf+ list

Museums and Digital Culture : New Perspectives and Research

2019

Tula Giannini, Jonathan P. Bowen

+ shelf+ list

EVA London 2020: Electronic Visualisation and the Arts

2020

Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel

+ shelf+ list

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

2023

Jonathan P. Bowen, Qin Li, Qiwen Xu