Jonathan P. Bowen
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
16
ZB 2003 : Formal Specification and Development in Z and B
ZUM '98 : the Z Formal Specification Notation
ZB 2000 : Formal Specification and Development in Z and B
The Z formal specification notation
EVA London 2018
Unifying Theories of Programming
EVA London 2020
Provably Correct Systems
Electronic Visualisation in Arts and Culture
Abstract State Machines, B and Z
High-Integrity System Specification and Design
The Z formal specification notation
ZUM '95: The Z Formal Specification Notation
ZB 2002 : Formal Specification and Development in Z and B
ZB 2003
