Unifying Theories of Programming المزيد من كتب Jonathan P. Bowen & Huibiao Zhu

Engineering Trustworthy Software Systems

٢٠٢٥

The Arts and Computational Culture: Real and Virtual Worlds

٢٠٢٤

Theories of Programming and Formal Methods

٢٠٢٣

Engineering Trustworthy Software Systems

٢٠٢٠

Museums and Digital Culture

٢٠١٩

Engineering Trustworthy Software Systems

٢٠١٩

Engineering Trustworthy Software Systems

٢٠١٨

Engineering Trustworthy Software Systems

٢٠١٧

Provably Correct Systems

٢٠١٧

Electronic Visualisation in Arts and Culture

٢٠١٣

Abstract State Machines, B and Z

٢٠٠٨

Formal Methods: State of the Art and New Directions

٢٠٠٩