Jonathan P. Bowen
Jonathan P. Bowen
13 books in the database
Books
Electronic Visualisation in Arts and CultureJonathan P. Bowen
Electronic Visualisation in Arts and Culture
Jonathan P. Bowen · 2013
High-Integrity System Specification and DesignJonathan P. Bowen
High-Integrity System Specification and Design
Jonathan P. Bowen · 1999
The Z formal specification notationJonathan P. Bowen
The Z formal specification notation
Jonathan P. Bowen · 1998
The Z formal specification notationJonathan P. Bowen
The Z formal specification notation
Jonathan P. Bowen · 1997
ZB 2003Jonathan P. Bowen
ZB 2003
Jonathan P. Bowen · 2003
ZUM '95: The Z Formal Specification NotationJonathan P. Bowen
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen · 1995
Engineering Trustworthy Software SystemsJonathan P. Bowen
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
Theories of Programming and Formal MethodsJonathan P. Bowen
Theories of Programming and Formal Methods
Jonathan P. Bowen · 2023
EVA London 2020Jonathan P. Bowen
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018Jonathan P. Bowen
EVA London 2018
Jonathan P. Bowen · 2018
Unifying Theories of ProgrammingJonathan P. Bowen
Unifying Theories of Programming
Jonathan P. Bowen · 2017
ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen
ZUM '98 : the Z Formal Specification Notation
Jonathan P. Bowen · 2011
ZB 2000 : Formal Specification and Development in Z and BJonathan P. Bowen
ZB 2000 : Formal Specification and Development in Z and B
Jonathan P. Bowen · 2003
Co-authored books and collections
Books that list Jonathan P. Bowen among their authors but not as the lead author: co-written works, collections and compilations.
Museums and Digital CultureTula Giannini
Museums and Digital Culture
Tula Giannini · 2019
Provably Correct SystemsMike Hinchey
Provably Correct Systems
Mike Hinchey · 2017
Abstract State Machines, B and ZEgon Börger
Abstract State Machines, B and Z
Egon Börger · 2008
ZB 2002 : Formal Specification and Development in Z and BDidier Bert
ZB 2002 : Formal Specification and Development in Z and B
Didier Bert · 2003
ZB 2003 : Formal Specification and Development in Z and BDidier Bert
ZB 2003 : Formal Specification and Development in Z and B
Didier Bert · 2003