Разработка и верификация алгоритмов пирамидальной сортировки в технол… · LibMeta · SciLib
IMT journal Cited workPublicationDocument

Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования

http://libmeta.ru/resource/imt/cited_3917

Данные

sourceNoteНовосибирск. 2012. 30с. (Препр. / ИСИ СО РАН. № 164).
year2012
languageru
bibliographicCitationШелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования. Новосибирск. 2012. 30с. (Препр. / ИСИ СО РАН. № 164).