Головна сторінка бібліотеки Спрощенний режим пошуку Інструкція з пошуку
Авторизація
Прізвище
Пароль
 

Бази даних


Книжкові видання- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: (<.>A=WALDINGER, R.$<.>)
Загальна кількість знайдених документів : 1
1.
681.3.06
M25


    Manna, Z.
    The Logical Basis for Computer Programming Volume Deductive Systems [Текст] / Z. Manna, R. Waldinger. - Massachusetts : Addison Wesley, 1990. - 642 с. - ISBN 0-201-18261-0 : 25000.00 UAK
ДРНТІ
УДК

Кл.слова (ненормовані):
математическая логика -- программирование -- компьютеры
Дод.точки доступу:
Waldinger, R.

Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

 

Наша адреса: 61000, Харків, вул. Кирпичова, 2
Науково-технічна бібліотека НТУ "ХПІ"
Контактний телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua