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

 

004.4
M 24Manna, Zohar
    The Logical Basic for Computer Programming [Текст]. Deductive Systems / Zohar Manna, Richard Waldinger. — Addison-Wesley Publishing Company, 1990. — 642 p.
ISBN 0-201-18261-0


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

математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; програмування, программирование, programming, Programmieren, programmation ; символічна логіка, символическая логика, symbolic logic

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

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



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