Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку

 

Бази даних


Електронний каталог книг іноземними мовами - результати пошуку

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


    Manna, Zohar.
    The Logical basis for computer programming [Text] : deductive systems. Vol. 2 / Z. Manna, R. Waldinger. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 642 p. - Текст англ. - ISBN 0-201-18261-0 : Б. ц.
УДК
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Waldinger, Richard
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)

Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)