Международная серия Prentice Hall по компьютерным наукам - Prentice Hall International Series in Computer Science

Международная серия Prentice Hall по компьютерным наукам это серия книг о Информатика опубликовано Prentice Hall.[1]

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

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

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

  • Р. С. Берд, Введение в функциональное программирование с использованием 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.
  • ИНМОС Лимитед, Оккам 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.
  • Дж. С. П. Вудкок и Дж. У. Дэвис, Использование Z: спецификация, уточнение и доказательство, 1996. ISBN  0-13-948472-8.

Рекомендации

  1. ^ а б "Серия: Международная серия Прентис-Холла по информатике". Библиотека. Получено 24 сентября 2019.