Prentice Hall International Series in Computer Science

Prentice Hall International Series in Computer Наука - это серия книг по информатике, изданных Прентис Холл.

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

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

• Р. С. Берд, Введение в функциональное программирование с использованием Haskell, 2-е издание, 1998 г. ISBN 0-13-484346-0.
• R. С. Берд и О. де Моор, Алгебра программирования, 1996. ISBN 0-13-507245-X. (100-й том серии.)
• О.-Дж. Даль, Проверяемое программирование, 1992. ISBN 0-13-951062-1.
• Д. М. Габбай, Элементарная логика: процедурная перспектива, 1998. ISBN 0-13-726365-1.
• I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. ISBN 0-13-832544-8.
• M. Дж. Хинчи и Дж. П. Боуэн (ред.), Приложения формальных методов, 1996. ISBN 0-13-366949-1.
• C. А. Р. Хоар, Последовательные процессы обмена данными, 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.
• A. У. Роско (ред.), Классический разум: Очерки в честь К. А. Р. Хора, 1994. ISBN 0-13-294844-3.
• A. У. Роско, Теория и практика параллелизма, 1997. ISBN 0-13-674409-5.
• J. М. Спайви, The Z Notation : Справочное руководство, 2-е издание, 1992. ISBN 0-13-978529-9.
• J. К. П. Вудкок и Дж. У. Дэвис, Использование Z: спецификация, уточнение и доказательство, 1996. ISBN 0-13-948472-8.

.