Значок книги

Использование абстракций и спецификаций при разработке программ Б. Лисков, Дж. Гатэг

Сохранить в:

Библиографические подробности
Автор:	Лисков Б.
Другие авторы:	Гатэг Д.
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва Мир 1989
Рубрика:	Программы Спецификации Программирование
Ключевые слова:	Вычислительные машины электронные Программы Спецификации Вычислительные машины электронные Программирование

Схожие документы

Спецификация программ: понятийные средства и их организация
Автор: Агафонов В. Н.
Год издания: (1990)

Повышение качества программ на основе автоматизированных методов
Автор: Саркисян А. А.
Год издания: (1991)

Экспериментальные исследования программ
Автор: Коган Б. И.
Год издания: (1988)

Пакеты прикладных программ
Год издания: (1989)

Элементы анализа программ
Автор: Абрамов С. А.
Год издания: (1986)

Оптимизирующие преобразования программ
Автор: Касьянов В. Н.
Год издания: (1988)

Распараллеливание алгоритмов и программ
Автор: Вальковский В. А.
Год издания: (1989)

Инструментальные средства разработки программ в современных операционных системах
Год издания: (1990)

Вопросы конструирования библиотек программ
Год издания: (1989)

Прикладные методы верификации программ
Автор: Непомнящий В. А.
Год издания: (1988)

Спецификация программ: понятийные средства и их организация
Автор: Агафонов В. Н.
Год издания: (1987)

Система порождения программ
Автор: Ильин В. Д.
Год издания: (1989)

Вопросы конструирования библиотек программ: системное и функциональное наполнение
Год издания: (1990)

Конфигурации программ
Автор: Горбунов-Посадов М. М.
Год издания: (1993)

Автоматизация конструирования библиотек программ
Автор: Арушанян О. Б.
Год издания: (1988)

Теория схем программ
Автор: Котов В. Е.
Год издания: (1991)

Пакеты прикладных программ
Год издания: (1992)

Пакеты прикладных программ
Год издания: (1988)

Сборник задач по программированию на языке Паскаль с решениями
Автор: Чеблаков Б. Г.
Год издания: (1991)

Вычислительная техника и программирование
Год издания: (1978)

Вычислительная техника и программирование
Год издания: (1990)

Технология и системы программирования
Год издания: (1988)

Алгоритмизация и программирование для ЭВМ
Автор: Калгин В. Н.
Год издания: (1988)

Простое и сложное в программировании
Год издания: (1988)

Методические рекомендации по программированию на "Искре 1256" и методам приближенных вычислений
Год издания: (1984)

Численные методы и технология разработки пакетов прикладных программ
Год издания: (1990)

Что такое технология программирования?
Автор: Гонца М. Г.
Год издания: (1989)

Программирование для математиков
Автор: Кушниренко А. Г.
Год издания: (1988)

Электронные вычислительные машины
Год издания: (1992)

Электронные вычислительные машины
Год издания: (1993)

Элементы современного программирования
Автор: Дмитриева М. В.
Год издания: (1991)

Основы программирования
Автор: Ашинянц Р. А.
Год издания: (1988)

Справочник по программированию в системе Paradox. Язык PAL
Год издания: (1992)

Жемчужины творчества программистов
Автор: Бентли Д.
Год издания: (1990)

Введение в системное программирование
Автор: Бек Л. Л.
Год издания: (1988)

Первые уроки программирования
Автор: Звенигородский Г. А.
Год издания: (1985)

Лекции по программированию
Автор: Заваруева
Год издания: (1975)

Системное программирование
Автор: Дьяконов В. Ю.
Год издания: (1990)

Техника программирования
Автор: Проценко В. С.
Год издания: (1990)

Словарь программиста
Автор: Дробушевич Г. А.
Год издания: (1988)