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

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hoare, C
Ձևաչափ: Journal article
Հրապարակվել է: 1972