Jonathan P. Bowen
Books
- EVA London 2018
- EVA London 2020
- ZB 2002 : Formal Specification and Development in Z and B
- Provably Correct Systems
- ZUM '98 : the Z Formal Specification Notation
- The Z formal specification notation
- Museums and Digital Culture
- Engineering Trustworthy Software Systems
- ZB 2003
- High-Integrity System Specification and Design
- The Z formal specification notation
- ZUM '95: The Z Formal Specification Notation
- Abstract State Machines, B and Z
- Unifying Theories of Programming
- ZB 2000 : Formal Specification and Development in Z and B
- Electronic Visualisation in Arts and Culture
- ZB 2003 : Formal Specification and Development in Z and B
- Theories of Programming and Formal Methods
Author data: Open Library