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)
Custom and Commercialisation in English Rural Society
2016
Formal methods
2014
Z User Workshop, Cambridge 1994
1994
Z User Workshop, London 1992
2013
Formal methods and testing
2008
Towards verified systems
High-integrity system specification and design
1999
Applications of formal methods
1995
Industrial-strength formal methods in practice
Otium
