Международная серия Prentice Hall по компьютерным наукам

Prentice Hall International Series in Computer Science - это серия книг по информатике, опубликованная Prentice Hall . ^[1]

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

Избранные книги [ править ]

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

• RS Bird , Введение в функциональное программирование с использованием 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 . 
• IJ Hayes (ed.), Specification Cases Studies , 2nd edition, 1993. ISBN 0-13-832544-8 . 
• М.Г. Хинчи и Дж. П. Боуэн (ред.), Приложения формальных методов , 1996. ISBN 0-13-366949-1 . 
• Карл Хоар , Связь последовательных процессов , 1985. ISBN 0-13-153271-5 в твердой обложке или ISBN 0-13-153289-8 в мягкой обложке.  
• CAR Hoare и MJC Gordon , Механизированное мышление и проектирование оборудования , 1998. ISBN 0-13-572405-8 . 
• Кар Хоар и Хе Цзифэн , Объединяющие теории программирования , 1998. ISBN 0-13-458761-8 . 
• INMOS Limited , Справочное руководство Оккама 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 (для мягкой обложки). 
• CC Morgan , Programming from Specifications , 2nd edition, 1994. ISBN 0-13-123274-6 . 
• П. Н. Ниссанке, Системы реального времени , 1997. ISBN 0-13-651274-7 . 
• Б. Поттер, Дж. Синклер и Д. Тилль, Введение в формальную спецификацию и Z , 2-е издание, 1996 г. ISBN 0-13-242207-7 . 
• AW Роско (редактор), Классический разум: Очерки в честь CAR Hoare , 1994. ISBN 0-13-294844-3 . 
• А. В. Роско, Теория и практика параллелизма , 1997. ISBN 0-13-674409-5 . 
• JM Спайвей , Z Обозначения : Справочное пособие , 2 - е издание, 1992 г. ISBN 0-13-978529-9 . 
• JCP Woodcock и JW Davies , Using Z: Specification, Refinement and Proof , 1996. ISBN 0-13-948472-8 . 

Ссылки [ править ]