«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Хоар Чарльз Энтони Ричард
Фотографии

Чарльз Энтони Ричард Хоар 99k

(Charles Antony Richard Hoare)

(11.01.1934)

◄ СМЕНИТЬ   РАЗВЕРНУТЬ ▼
▲ СВЕРНУТЬ    СМЕНИТЬ ►
Википедия: Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) - английский ученый, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.
Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг - разработка логики Хоара (англ. Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения...
Обложки
чарльз энтони ричард хоар на страницах библиотеки упоминается 1 раз:
* Хоар Чарльз Энтони Ричард
Обложка 1
  • Хоар Ч.Э. Р. Взаимодействующие последовательные процессы. (Communicating Sequential Processes) [Djv- 1.8M] Научное издание. Перевод с английского А.А. Бульонковой под редакцией А.П. Ершова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1989)
    Скан, обработка, формат: ???, предоставил: Михаил, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От редактора перевода (5).
      Предисловие (7).
      От автора (9).
      Краткое содержание (14).
      Глава 1. Процессы (18).
      Глава 2. Параллельные процессы (60).
      Глава 3. Недетерминизм (95).
      Глава 4. Взаимодействие (129).
      Глава 5. Последовательные процессы (168).
      Глава 6. Разделяемые ресурсы (195).
      Глава 7. Обсуждение (225).
      Избранная литература (254).
      Указатель символов (255).
      Предметный указатель (259).
Аннотация издательства: Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ, Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.
Для специалистов в области системного программирования, теоретической информатики, математической логики, аспирантов и студентов вузов.
Обложка 2