|
Книга ID: 922674
Доказательство правильности программ Р. Андерсон; Пер. с англ. Б. Н. Зобниной
Тематика, ключевые слова:
Цифровые вычислительные машины - Математическое обеспечение - Надежность.
Сведения об издании:
М. Мир 1982 163 с. 20 см.
Язык:
rus
|
|