Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

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

  • ББК // Електронні обчислювальні машини і пристрої. Електронна обчислювальна техніка
  • ББК науковий // Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 2 Перейти на сайт
Державна бібліотека України для юнацтва 1 Перейти на сайт
Науково-технічна бібліотека Національного авіаційного університету 1 Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . кіб - кібернетики 1 Перейти на сайт