Unifying Theories of Programming 更多Jonathan P. Bowen & Huibiao Zhu的图书

Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2025年
The Arts and Computational Culture: Real and Virtual Worlds The Arts and Computational Culture: Real and Virtual Worlds
The Arts and Computational Culture: Real and Virtual Worlds
2024年
Theories of Programming and Formal Methods Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
2023年
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2020年
Museums and Digital Culture Museums and Digital Culture
Museums and Digital Culture
2019年
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2019年
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2018年
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2017年
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017年
Electronic Visualisation in Arts and Culture Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
2013年
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
2008年
Formal Methods: State of the Art and New Directions Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
2009年