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년