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

Библиографические подробности
Главный автор: Hoare, C
Формат: Journal article
Опубликовано: 1972