Proof of a Recursive Program: Quicksort

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Foley, M, Hoare, C
Формат: Journal article
Хэвлэсэн: 1971