Jonathan P. Bowen

· 18 obras en el catálogo

Obras

The Z formal specification notation

ZB 2003

High-Integrity System Specification and Design

The Z formal specification notation

ZUM '95: The Z Formal Specification Notation

Electronic Visualisation in Arts and Culture

Unifying Theories of Programming

Provably Correct Systems

Museums and Digital Culture

AAbstract State Machines, B and Z

Abstract State Machines, B and Z

EEVA London 2018

EVA London 2018

EEVA London 2020

EVA London 2020

ZZB 2003 : Formal Specification and Development in Z and B

ZB 2003 : Formal Specification and Development in Z and B

ZZUM '98 : the Z Formal Specification Notation

ZUM '98 : the Z Formal Specification Notation

ZZB 2002 : Formal Specification and Development in Z and B

ZB 2002 : Formal Specification and Development in Z and B

ZZB 2000 : Formal Specification and Development in Z and B

ZB 2000 : Formal Specification and Development in Z and B

TTheories of Programming and Formal Methods

Theories of Programming and Formal Methods

EEngineering Trustworthy Software Systems

Engineering Trustworthy Software Systems