Unifying Theories of Programming More Books by Jonathan P. Bowen & Huibiao Zhu
Engineering Trustworthy Software Systems
2025
The Arts and Computational Culture: Real and Virtual Worlds
2024
Theories of Programming and Formal Methods
2023
Engineering Trustworthy Software Systems
2020
Museums and Digital Culture
2019
Engineering Trustworthy Software Systems
2019
Engineering Trustworthy Software Systems
2018
Engineering Trustworthy Software Systems
2017
Provably Correct Systems
2017
Electronic Visualisation in Arts and Culture
2013
Abstract State Machines, B and Z
2008
Formal Methods: State of the Art and New Directions
2009