Theories of programming
Jones C. B., Misra JayadevKniha
Citace v seznamu literatury:
JONES, C. B. a MISRA, Jayadev. Theories of programming: the life and works of Tony Hoare. ACM books. [New York, NY, USA]: Association for Computing Machinery, [2021]. Dostupné z: https://doi.org/9781450387316.