Jonathan P. Bowen
EVA London 2020
Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel · 2020
פרטי הספר
- שנה
- 2020
- שפה
- English
- הוצאה
- BCS Learning & Development Limited
- מהדורות
- 1
- ISBN
- 9781780175386
מקור הנתונים: Wikidata
עוד של Jonathan P. Bowen
Jonathan P. Bowen

Electronic Visualisation in Arts and Culture
Jonathan P. Bowen · 2013
Jonathan P. Bowen

High-Integrity System Specification and Design
Jonathan P. Bowen · 1999
Jonathan P. Bowen

The Z formal specification notation
Jonathan P. Bowen · 1998
Jonathan P. Bowen

The Z formal specification notation
Jonathan P. Bowen · 1997
Jonathan P. Bowen

ZB 2003
Jonathan P. Bowen · 2003
Jonathan P. Bowen

ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen · 1995
Jonathan P. Bowen
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
Jonathan P. Bowen
Theories of Programming and Formal Methods
Jonathan P. Bowen · 2023
Jonathan P. Bowen
EVA London 2018
Jonathan P. Bowen · 2018
Jonathan P. Bowen

Unifying Theories of Programming
Jonathan P. Bowen · 2017