Международная серия Прентис Холл по информатике

Международная серия «Прентис Холл по информатике» — серия книг по информатике, опубликованная издательством «Прентис Холл» .

Редактором-основателем сериала был Тони Хоар . Впоследствии Ричард Берд взял на себя редактирование сериала. Многие книги этой серии посвящены, в частности, формальным методам .

Избранные книги

В серии вышли следующие книги:

• Р.С. Берд , Введение в функциональное программирование с использованием Haskell , 2-е издание, 1998 г. ISBN   0-13-484346-0 .
• Р. С. Берд и О. де Мур, Алгебра программирования , 1996. ISBN   0-13-507245-X . (100-й том серии.)
• О.-Ж. Даль , Верифицируемое программирование , 1992. ISBN   0-13-951062-1 .
• Д.М. Габбай , Элементарная логика: процедурная перспектива , 1998. ISBN   0-13-726365-1 .
• И. Дж. Хейс (ред.), Тематические исследования спецификаций , 2-е издание, 1993 г. ISBN   0-13-832544-8 .
• М.Г. Хинчи и Дж.П. Боуэн (ред.), «Применение формальных методов» , 1996. ISBN   0-13-366949-1 .
• К. А. Хоар , «Обмен последовательными процессами» , 1985. ISBN   0-13-153271-5 в твердом переплете или ISBN   0-13-153289-8 в мягкой обложке.
• КАР Хоар и М.Дж.К. Гордон , Механизированное мышление и проектирование аппаратного обеспечения , 1998. ISBN   0-13-572405-8 .
• КАР Хоар и Хэ Цзифэн , «Объединение теорий программирования» , 1998. ISBN   0-13-458761-8 .
• INMOS Limited , Occam 2 Справочное руководство , 1988. ISBN   0-13-629312-3 .
• Клифф Джонс , Систематическая разработка программного обеспечения с использованием VDM , 1986. ISBN   0-13-880725-6 в твердом переплете или ISBN   0-13-880717-5 в мягкой обложке.
• М. Джозеф (редактор), Системы реального времени: спецификация, проверка и анализ , 1996. ISBN   0-13-455297-0 .
• Бертран Мейер , Объектно-ориентированное создание программного обеспечения (только первое издание).
• Робин Милнер , Коммуникация и параллелизм , 1989. ISBN   0-13-115007-3 (для мягкой обложки).
• Си Си Морган , Программирование на основе спецификаций , 2-е издание, 1994 г. ISBN   0-13-123274-6 .
• П. Н. Ниссанке, Системы реального времени , 1997. ISBN   0-13-651274-7 .
• Б. Поттер, Дж. Синклер и Д. Тилл, Введение в формальную спецификацию и Z , 2-е издание, 1996 г. ISBN   0-13-242207-7 .
• А. В. Роско (ред.), Классический разум: эссе в честь К. А. Хоара , 1994. ISBN   0-13-294844-3 .
• А. В. Роско, Теория и практика параллелизма , 1997. ISBN   0-13-674409-5 .
• Дж. М. Спиви , Z - нотация : Справочное руководство , 2-е издание, 1992 г. ISBN   0-13-978529-9 .
• JCP Вудкок и Дж. У. Дэвис , Использование Z: спецификация, уточнение и доказательство , 1996. ISBN   0-13-948472-8 .