Theories of Programming and Formal Methods المزيد من كتب Jonathan P. Bowen, Qin Li & Qiwen Xu

Engineering Trustworthy Software Systems

٢٠٢٥

The Arts and Computational Culture: Real and Virtual Worlds

٢٠٢٤

Engineering Trustworthy Software Systems

٢٠٢٠

Museums and Digital Culture

٢٠١٩

Engineering Trustworthy Software Systems

٢٠١٩

Engineering Trustworthy Software Systems

٢٠١٨

Engineering Trustworthy Software Systems

٢٠١٧

Provably Correct Systems

٢٠١٧

Unifying Theories of Programming

٢٠١٧

Electronic Visualisation in Arts and Culture

٢٠١٣

Abstract State Machines, B and Z

٢٠٠٨

Formal Methods: State of the Art and New Directions

٢٠٠٩