Главная Документация WEB ИРБИС 8.1 Шлюз Z39.50

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска

Формат представления найденных документов:
полныйинформационныйкраткий
Общее количество найденных документов : 1
1.
Goldblatt R
Axiomatising the logic of computer programming. - Berlin etc.: Springer. - 1982. - 7, 304 с. -(Lecture notes in computer science; N 130). - На англ.яз. - Германия. - Библиогр.: с.291-298. Указ.: с.302-304. - ISBN 3-540-11210-3
ГРНТИ: 50.05
УДК: 681.3.06
Перевод заглавия: Аксиоматизация логики машинного программирования

Держатели документа:
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)