Jonathan P. Bowen

No biography available.

Works (8)

Cover of ZB 2003

Cover of The Z formal specification notation

The Z formal specification notation

Cover of The Z formal specification notation

The Z formal specification notation

Cover of Provably Correct Systems

Provably Correct Systems

Cover of Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Cover of ZUM '95: The Z Formal Specification Notation

ZUM '95: The Z Formal Specification Notation

Cover of Museums and Digital Culture

Museums and Digital Culture

Cover of High-Integrity System Specification and Design

High-Integrity System Specification and Design