Engineering Trustworthy Software SystemsJonathan P. Bowen
Engineering Trustworthy Software Systems
Jonathan P. Bowen, Andrea Turrini · 2026
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2026
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 273
- ISBN
- 9789819586165
Data source: Wikidata
More by Jonathan P. Bowen
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
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