1956 –
Jonathan P. Bowen, FBCS FRSA, è un informatico britannico.
Fonte Wikipedia (si apre in una nuova scheda) · licenza CC BY-SA 4.0
Pubblicato in Inglese
Per saperne di più: Wikipedia (si apre in una nuova scheda) · Open Library (si apre in una nuova scheda)
Electronic Visualisation in Arts and Culture
2016
The Z formal specification notation
1998
Provably Correct Systems
2018
ZUM '98 : the Z Formal Specification Notation
2011
ZUM '95: The Z Formal Specification Notation
1995
ZB 2003
2003
ZB 2003 : Formal Specification and Development in Z and B
ZB 2002 : Formal Specification and Development in Z and B
ZB 2000 : Formal Specification and Development in Z and B
Unifying Theories of Programming
2017
Theories of Programming and Formal Methods
2023
Museums and Digital Culture
2019
High-Integrity System Specification and Design
1999
EVA London 2020
2020
EVA London 2018
Engineering Trustworthy Software Systems
2026
Abstract State Machines, B and Z
2008
Industrial-Strength Formal Methods in Practice
Otium
