Шифр: 004.4 А 65
Андерсон Р. Доказательство правильности программ : пер. с англ. / Р. Андерсон ; под ред. Д. Б. Подшивалова. – Москва : Мир, 1982. – 163 с. – 0,60
Андерсон Р. Доказательство правильности программ : пер. с англ. / Р. Андерсон ; под ред. Д. Б. Подшивалова. – Москва : Мир, 1982. – 163 с. – 0,60
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 16 | 16 |
Тема:
- УДК
- 004.42 Програмування комп' ютерів.Комп' ютерні програми Ключові слова
- програмування, программирование, programming, Programmieren, programmation
- комп'ютерні програми, компьютерные программы
- електронні обчислювальні машини, (електронно-обчислювальні машини), ЕОМ, электронные вычислительные машины, (электронно-вычислительные машины), ЭВМ, computers