Theories of Programming and Formal Methods More Books by Jonathan P. Bowen, Qin Li & Qiwen Xu
Engineering Trustworthy Software Systems
2025
The Arts and Computational Culture: Real and Virtual Worlds
2024
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
Unifying Theories of Programming
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