Спецификация программ: понятийные средства и их организация В. Н. Агафонов
Сохранить в:
Автор: | Агафонов В. Н. |
---|---|
Тип документа: | Книга |
Язык: | Russian |
Год издания: |
Новосибирск Наука, Сибирское отделение 1990
|
Рубрика: | |
Ключевые слова: |
Схожие документы
-
Спецификация программ: понятийные средства и их организация
Автор: Агафонов В. Н.
Год издания: (1987) -
Использование абстракций и спецификаций при разработке программ
Автор: Лисков Б.
Год издания: (1989) -
Оптимизирующие преобразования программ
Автор: Касьянов В. Н.
Год издания: (1988) -
Элементы анализа программ
Автор: Абрамов С. А.
Год издания: (1986) -
Экспериментальные исследования программ
Автор: Коган Б. И.
Год издания: (1988)