Доказательство правильности программ Р. Андерсон
Сохранить в:
Автор: | Андерсон Р. |
---|---|
Тип документа: | Книга |
Язык: | Russian English |
Год издания: |
Москва Мир 1982
|
Рубрика: | |
Ключевые слова: |
Схожие документы
-
Оценка качества программ ЭВМ
Автор: Кулаков А. Ф.
Год издания: (1984) -
Диалоговый комплекс программ Краб
Автор: Гуляев А. В.
Год издания: (1985) -
Руководство по надежному программированию
Автор: Гласс Р.
Год издания: (1982) -
Инженерное проектирование программного обеспечения
Автор: Боэм Б. У.
Год издания: (1985) -
Проектирование корректных структурированных программ
Автор: Алагич С.
Год издания: (1984)