Зведений каталог бібліотек Харкова

 

004.4
А 65Андерсон, Р.
    Доказательство правильности программ [Текст] : пер. с англ. / под ред. Д. Б. Подшивалова. — Москва : Мир, 1982. — 163 с.


- Ключові слова:

електронно-обчислювальні машини, ЕОМ, электронно-вычислительные машины, ЭВМ ; комп'ютерні програми, компьютерные программы ; програмування, программирование, programming, Programmieren, programmation

- Теми документа

  • УДК // Програмування комп’ютерів. Комп’ютерні програми



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 17 Перейти на сайт