Proof of a Structured Program: ‘The Sieve of Eratosthenes'

Chi tiết về thư mục
Tác giả chính: Hoare, C
Định dạng: Journal article
Được phát hành: 1972