Использование абстракций и спецификаций при разработке программ: Пер. с англ./
| Main Authors: | Лисков, Б. Барбара (Author), Гатэг, Дж. Джон (Author) |
|---|---|
| Other Authors: | Жигалкин, С. А. (Translator), Усов, С. А. (Translator), Шехватов, Д. Б. (Translator) |
| Format: | Book |
| Language: | Russian |
| Published: |
М.:
Мир
1989
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |
Similar Items
-
Software Engineering/
by: Bjørner, Dines
Published: (2006) -
Требования и спецификации в разработке программ: Сборник статей: Пер. с англ.
Published: (1984) -
Диалектика формирования научных абстракций: /
by: Блецкан, М. И. Михаил Иванович
Published: (1989) -
Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
by: Твардовский, Александр Сергеевич -
Пакеты прикладных программ: Функциональное наполнение: Сборник статей/
Published: (1986)
