Для корректной работы этого сайта вам необходимо включить Javascript. Зайдите в настройки браузера и активируйте Javascript.
Сборник посвящен новому направлению в системном и теоретическом программировании --- разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. В числе авторов --- известные специалисты, основатели этого направления --- Ч. Хоар, Д. Скотт (Великобритания), Д. Парнас (США) и др.
Для программистов и математиков, интересующихся методологией, языковыми и математическим основами программирования.
Математика > Математическая кибернетика. Принятие решений
Техника > Вычислительная техника. Компьютеры
Компьютеры. Информатика. Интернет > Языки программирования
Для специалистов, научных работников
Переводные книги > Пер. с англ.