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

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

004
F76    Formal Development of Programs and Proofs [Текст] / ed. E.W. Dijkstra. — Reading : Addison-Wesley, 1990. — 241 p.
ISBN 0-201-17237-2

- Зміст:

Формалізований розвиток програм і доведень

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

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



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Харківського національного економічного університету імені Семена Кузнеця 1 Перейти на сайт
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт